essential_constraint_vm::asm::short

Constant NSLT

source 
pub const NSLT: Constraint;
Expand description

§NumSlots

0x3D: NSLT

Get the number of decision var or state slots.

which_slots:

  • 0 for decision vars.

  • 1 for pre state slots.

  • 2 for post state slots.

§Stack Input

[which_slots]

§Stack Output

[len]