module MaximalCardinalitySearch: sig .. end
sig
end
module P: functor (G : Sig.P) -> sig .. end
functor (
G
:
Sig.P
) ->
module I: functor (Gr : Sig.I) -> sig .. end
Gr
Sig.I