Function essential_constraint_vm::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.
pub fn step_op_pred(op: Pred, stack: &mut Stack) -> OpResult<()>Step forward constraint checking by the given predicate operation.