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.