Constant EQST

pub const EQST: Constraint;

EqSet

0x19: EQST

Pop two sets off the stack and check if they are equal. This is set equality so order does not matter. Sets must be the same length.

Note the encoding of each set is: [elem_0_word_0, ...elem_0_word_I, elem_0_len, ...elem_N_word_0, ...elem_N_word_J, elem_N_len, set_len].

Note this differs from EqRange in that there is a size given at the end of both sets.

Stack Input

[lhs, lhs_set_length, rhs, rhs_set_length]

Stack Output

[set(lhs) == set(rhs)]