Module type Comparable_intf.S

module type S = sig .. end

include Comparable_intf.S_common

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

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