Open mdiep opened 7 years ago
For instance, integer multiplication would require division with no remainder. Given a * b == 12 where a and b are integers, b == 7 shouldn't unify.
a * b == 12
a
b
b == 7
Would b == 7 be the bit that fails, or would it be b : Integer? 😁
b : Integer
For instance, integer multiplication would require division with no remainder. Given
a * b == 12
wherea
andb
are integers,b == 7
shouldn't unify.