pub fn theorem_dependency_graph(
input: &str,
) -> Result<DependencyGraph, ParseError>Expand description
The uses dependency graph (Rung 0b) for an English document: its ## Define
blocks plus the theorem’s premises and goal, lowered and analyzed. Each node
is a definition or the theorem; each edge is a uses. This is the structure
a mathscrapes node/edge compiles into.