Module type Base__.Set_intf.Set.Compare_m