Predicate signature GraphExportSig::exposedName
Holds if node
is exposed to downstream packages with the given (type, path)
tuple.
A consumer of the exported graph should be able to interpret the (type, path)
pair
without having access to the current codebase.
signature predicate exposedName(Node node, string type, string path)