Module type Comparable_intf.Map_and_set_binable

module type Map_and_set_binable = sig .. end

type t 

include Comparator.S_binable

module Map: Core_map.S_binable 
    with type Key.t = t 
    with type Key.comparator = comparator

module Set: Core_set.S_binable 
    with type Elt.t = t 
    with type Elt.comparator = comparator