Module `Comparable.Map_and_set_binable_using_comparator`

Parameters

module T : sig ... end

Signature

include Comparator.S with type comparator_witness := T.comparator_witness and type t := T.t

val comparator : (T.t, T.comparator_witness) Comparator.comparator

module Map : Map.S_binable with type Key.t = T.t with type Key.comparator_witness = T.comparator_witness

module Set : Set.S_binable with type Elt.t = T.t with type Elt.comparator_witness = T.comparator_witness