module type HashedOrderedType = sig ... end
module type S = sig ... end
module Make : functor (X : HashedOrderedType) -> sig ... end
Graph.Unionfind
module type HashedOrderedType = sig ... end
module type S = sig ... end
module Make : functor (X : HashedOrderedType) -> sig ... end