Module type Comparable_intf.Map_and_set_binable

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