Constant VLEN

Source
pub const VLEN: Constraint;
Expand description

§DecisionVarLen

0x38: VLEN

Get the length of a the decision variable value located at slot_ix.

§Stack Input

[slot_ix]

§Stack Output

[len]

§Panics

  • slot_ix is out of range.