Pick a better name for PrintedValScope
Clarification and motivation
We have another use case for this constraint - evaluating operation size.
Generally, PrintedValScope
applies to any method that requires conversion to untyped representation, and to any method that works with values outside of contract stack.
Acceptance criteria
- Another constraint with a proper name equivalent to
PrintedValScope
is added. -
PrintedValScope
and all constraints/methods on top of it are deprecated.