Module type Core_kernel__Map.Equal_m