Module type Base__.Set.Compare_m