Module type Base.Set.Compare_m