Module type V1.Compare_m