pub fn step_op_pred(op: Pred, stack: &mut Stack) -> OpSyncResult<()>Expand description
Step forward execution by the given predicate operation.
pub fn step_op_pred(op: Pred, stack: &mut Stack) -> OpSyncResult<()>Step forward execution by the given predicate operation.