sigmastate.lang
Represents a constraint on arguments of binary operation.
Checks that both arguments are numeric types.
Checks that both arguments have the same type.
These constraints sets are allocated once here and reused in different places.