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