Comparable.Map_and_set_binable
module T : sig ... end
include Comparator.S with type t := T.t
val comparator : (T.t, comparator_witness) Base.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