module type HashedOrderedType = sig ... endmodule type S = sig ... endmodule Make : functor (X : HashedOrderedType) -> sig ... endGraph.Unionfindmodule type HashedOrderedType = sig ... endmodule type S = sig ... endmodule Make : functor (X : HashedOrderedType) -> sig ... end