Stable.V1
module type S = sig ... end
module Make (X : sig ... end) : S with type comparable := X.t with type comparator_witness := X.comparator_witness