Module type Core_kernel__Map.Compare_m