Constant EQ

Source
pub const EQ: Constraint;
Expand description

§Eq

0x10

Check equality of two words.

§Stack Input

[lhs, rhs]

§Stack Output

[lhs == rhs]