# Module type Comparable.Map_and_set_binable

    module type Map_and_set_binable = Comparable_intf.Map_and_set_binable

    type t

    include Comparator.S

    module Map: Core_map.S_binable
        with type Key.t = t
        with type Key.comparator_witness = comparator_witness

    module Set: Core_set.S_binable
        with type Elt.t = t
        with type Elt.comparator_witness = comparator_witness