Constant SLEN

pub const SLEN: Constraint;

StateLen

0x3A: SLEN

Get the length of a state value at a specified slot_ix.

The argument delta false accesses pre state. The argument delta true accesses post state.

Returns the length of the state value.

Stack Input

[slot_ix, delta]

Stack Output

[len]

Panics

• slot_ix is out of range.
• delta is not a boolean.