Stable.V1
module type S = sig ... end
module Make_with_witnesses (Key : Key_with_witnesses) : S with module Key = Key with type comparator_witness = Key.comparator_witness with type enumeration_witness = Key.enumeration_witness