Function essential_state_read_vm::constraint::step_op_alu
source ยท pub fn step_op_alu(op: Alu, stack: &mut Stack) -> Result<(), OpError>Expand description
Step forward constraint checking by the given ALU operation.
pub fn step_op_alu(op: Alu, stack: &mut Stack) -> Result<(), OpError>Step forward constraint checking by the given ALU operation.