Module type Comparable.Map_and_set_binable

module type Map_and_set_binable = sig .. end

type t 

include Comparator.S_binable

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

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