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