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