Stable.V1
type nonrec ('a, 'b, 'c) t = ('a, 'b, 'c) t
module type S = sig ... end
module Make (Key : sig ... end) : S with type key := Key.t with type comparator_witness := Key.comparator_witness