type ('a, 'b, 'c) t
= ('a, 'b, 'c) t
module type S : sig ... end
module Make : functor (Key : Core_kernel__.Stable_module_types.S0) -> S with type key := Key.t with type comparator_witness := Key.comparator_witness