Keep only the properties in the stated properties that are in the property selector.
Whether stated properties carry every property of a selector.
Whether stated properties carry at least one property of a selector, or state anything about their behavior at all. ProvenanceProps do not count for the latter: where a definition comes from is not something it does, and a caller asking "does this state what it does" must not be answered by it.
Optionalselector: PropSelectorChecks whether a PropSelector is a bitfield of CallProps.
Checks whether a PropSelector is a SemanticCallTag.
Joins the CallProps and SemanticCallTags of two stated properties
Transforms a property selector into a unique string identifier.
Gets the string labels for stated properties CallPropLabels.
The PropMask the given CallProp/SemanticCallTag member names stand for, unknown ones ignored.
Gets the property names for a property selector.
The CallPropLabels words for a bare CallProps bitfield, as inferred functions carry one.
Helper functions to work with CallProps and SemanticCallTags of calls. All helpers use PropSelectors to identify call properties.