essential_check::state_read_vm::constraint::asm::short

Constant AND

source 
pub const AND: Constraint;
Expand description

§And

0x16

Logical AND of two words.

§Stack Input

[lhs, rhs]

§Stack Output

[lhs && rhs]