module type Map_and_set_binable = Comparable_intf.Map_and_set_binable
type
t
include Comparator.S
module Map:Core_map.S_binable
with type Key.t = t
with type Key.comparator_witness = comparator_witness
module Set:Core_set.S_binable
with type Elt.t = t
with type Elt.comparator_witness = comparator_witness