include Comparator.S with type t := T.t
val comparator : (T.t, comparator_witness) Comparator.comparator
module Map : Map.S_binable with type Key.t = T.t with type Key.comparator_witness = comparator_witness
module Set : Set.S_binable with type Elt.t = T.t with type Elt.comparator_witness = comparator_witness