module type Graph = sig .. end
sig
end
module G: Graph.Sig.G
Graph.Sig.G
val compute : unit -> unit
unit -> unit
val get : unit -> G.t
unit -> G.t
module Subgraph: sig .. end
get ()
Options.Roots.get ()
val dump : unit -> unit
val is_computed : unit -> bool
unit -> bool
val self : State.t
State.t