type nonrec ('a, 'b, 'c) t = ('a, 'b, 'c) t
module type S = sig ... endmodule Make : functor (Key : sig ... end) -> S with type key := Key.t with type comparator_witness := Key.comparator_witnessStable.V1type nonrec ('a, 'b, 'c) t = ('a, 'b, 'c) tmodule type S = sig ... endmodule Make : functor (Key : sig ... end) -> S with type key := Key.t with type comparator_witness := Key.comparator_witness