Expand description
The aggregate CallGraph type.
Mode (Functions vs Modules) and phase (Building vs Built) are
lifted to the type system: exports_not_used is a method on
CallGraph<Functions, Built> only, so a misuse against a modules-mode
or under-construction graph fails at compile time.