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