Module type Base__Map_intf.Map.Compare_m