module type S : sig ... end
module Make : functor (X : Core_kernel__.Stable_module_types.S0) -> S with type comparable := X.t with type comparator_witness := X.comparator_witness