Function essential_constraint_vm::step_op

source ยท
pub fn step_op(
    access: Access<'_>,
    op: Op,
    stack: &mut Stack,
    memory: &mut Memory,
    pc: usize,
    repeat: &mut Repeat,
) -> OpResult<Option<ProgramControlFlow>>
Expand description

Step forward constraint checking by the given operation.