Functor State_dependency_graph.Remove_useless_states


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

val get : State_dependency_graph.G.t -> State_dependency_graph.G.t