essential_constraint_vm::asm::short

Constant VAR

Source 
pub const VAR: Constraint;
Expand description

§DecisionVar

0x37: VAR

Access a range of len words starting from value_ix within the decision variable located at slot_ix.

Returns a list of decision words with length equal to the specified len.

§Stack Input

[slot_ix, value_ix, len]

§Stack Output

[word, ...] The stack output length depends on the value of the len stack input word.

§Panics

  • slot_ix is out of range.
  • The range value_ix..(value_ix + len) is out of range.