2.5. Import Graph
The runtime module dependency graph (Scanner, Parser, Surface, Schema,
Output, FFI, Config — the Proofs/ subtree is excluded) is regenerated
in CI by lake exe graph and rendered to SVG via Graphviz.
The runtime module dependency graph (Scanner, Parser, Surface, Schema,
Output, FFI, Config — the Proofs/ subtree is excluded) is regenerated
in CI by lake exe graph and rendered to SVG via Graphviz.