pub const VLEN: Constraint;
0x38: VLEN
0x38
VLEN
Get the length of a the decision variable value located at slot_ix.
slot_ix
[slot_ix]
[len]