-
Kim Nguyễn authored
when solving tallying constraints, the type of the result is defined in terms of the variables in the argument, not the other way around.
bd583e85
when solving tallying constraints, the type of the result is defined in terms of the variables in the argument, not the other way around.