Module type Map.Compare_m