module Kruskal: sig .. end
sig
end
module type G = sig .. end
module Make: functor (G : G) -> functor (W : Sig.ORDERED_TYPE with type t = G.E.label) -> sig .. end
functor (
G
:
) ->
W
Sig.ORDERED_TYPE
with type t = G.E.label
module type UNIONFIND = sig .. end
module Generic: functor (G : G) -> functor (W : Sig.ORDERED_TYPE with type t=G.E.label) -> functor (UF : UNIONFIND with type elt=G.V.t) -> sig .. end
with type t=G.E.label
UF
UNIONFIND
with type elt=G.V.t