essential_constraint_asm::short

Constant NSLT

Source 
pub const NSLT: Op;
Expand description

§NumSlots

0x3B: 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]