module type S = sig ... endmodule Make : functor (X : sig ... end) -> S with type comparable := X.t with type comparator_witness := X.comparator_witnessStable.V1module type S = sig ... endmodule Make : functor (X : sig ... end) -> S with type comparable := X.t with type comparator_witness := X.comparator_witness