(module Core_map_intf.With_comparator)