module type Graph =sig..end
module G:Graph.Sig.G
The underlying graph datastructure
val compute : unit -> unitCompute the graph
val get : unit -> G.tGet the graph from the AST.
module Subgraph:sig..end
Subgraph of get () wrt Options.Roots.get ()
val dump : unit -> unitDump the (possibly sub-)graph in the file of the corresponding command line argument.
val is_computed : unit -> boolIs the graph already built?
val self : State.t