(
module
Core_map_intf
.
With_comparator
)