Whole-program call-graph primitives for backhopper-xref.
This crate has no Erlang knowledge. It provides:
- [
Vertex] and [FunctionRef]: entities the graph tracks - [
VertexSet] and [Relation]: finite sets and binary relations with the operators a call-graph analysis needs (union,intersection,compose,image,transitive_closure, …) - [
CallGraph]: the aggregate, parameterised on a mode marker ([Functions] vs [Modules]) and a phase marker ([Building] vs [Built]) so misuses become compile errors