(module Core_map_intf.Without_comparator)