Module type Comparable.S_binable


module type S_binable = sig .. end

include Comparable.S_common
module Map: Core_map.S_binable  with type key = comparable
module Set: Core_set.S_binable  with type elt = comparable