Module type Comparable.S

module type S = sig .. end

include Comparable.S_common

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

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