functor (G : Graph.Sig.P) -> functor (X : sig val kind : State_dependency_graph.G.V.t -> State.kind end) -> sig val get : State_dependency_graph.G.t -> State_dependency_graph.G.t end