module I: functor (G : Sig.I) -> sig .. end
functor (
G
:
Sig.I
) ->
sig
end
module VertexSet: Set.S with type elt = G.V.t
Set.S
with type elt = G.V.t
val allminsep : G.t -> VertexSet.t list
G.t -> VertexSet.t list
allminsep g