Module type V1.Equal_m