sig module G : G val graph : State_dependency_graph.G.t val add_dependencies : from:State.t -> State.t list -> unit val add_codependencies : onto:State.t -> State.t list -> unit end