Constant MKEYS
Source pub const MKEYS: Constraint;
Expand description
§MutKeys
0x34: MKEYS
Push the keys of the proposed state mutations onto the stack.
Note the order is non-deterministic because this is a set.
Returns only total length 0 if there are no mutations.
§Stack Output
[key_0, key_0_len, ...key_N, key_N_len, total_length]