-
Pietro Abate authored
Tallying.CS.cup -> union Tallying.CS.cap -> prod lessgeneral m1 m2 check if the constraint set m1 is less general of m2
df8cc601
Tallying.CS.cup -> union Tallying.CS.cap -> prod lessgeneral m1 m2 check if the constraint set m1 is less general of m2