Constant NSLT
Source pub const NSLT: Constraint;
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.
[which_slots]
§Stack Output
[len]