Consider moving Expr::Tuple to be a Constant #706
Description
Motivation
With Tuple constrained to EvaluatedValue in sigmastate they might be semantically equivalent.
{{ message }}
Consider moving
Expr::Tuple to be a Constant #706With Tuple constrained to EvaluatedValue in sigmastate they might be semantically equivalent.