sig module G : Graph.Sig.G val compute : unit -> unit val get : unit -> G.t val dump : unit -> unit val is_computed : unit -> bool val self : State.t end