module type Map_and_set_binable =sig
..end
type
t
include Comparator.S_binable
module Map:Core_map.S_binable
with type Key.t = t
with type Key.comparator = comparator
module Set:Core_set.S_binable
with type Elt.t = t
with type Elt.comparator = comparator