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)