Module type Comparable_intf.Map_and_set_binable

module type Map_and_set_binable = sig .. end

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