Function essential_check::constraint_vm::step_op

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

Step forward constraint checking by the given operation.