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