What the signature database implies for a package function: what its own entry states (see fnInfoFromSignature) plus the PropagatedProps of everything it calls, transitively.
Optional
What the signature database implies for a package function: what its own entry states (see fnInfoFromSignature) plus the PropagatedProps of everything it calls, transitively.