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
val dump : unit -> unit
val is_computed : unit -> bool
unit -> bool
val self : State.t
State.t