Module Comparable_intf.Map_and_set_binable.Map

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