essential_constraint_vm

Function step_op_pred

source
pub fn step_op_pred(op: Pred, stack: &mut Stack) -> OpResult<()>
Expand description

Step forward constraint checking by the given predicate operation.