Module type Comparable.Map_and_set_binable

module type Map_and_set_binable = Comparable_intf.Map_and_set_binable

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