Function essential_check::state_read_vm::constraint::step_op_access
source ยท pub fn step_op_access(
access: Access<'_>,
op: Access,
stack: &mut Stack,
repeat: &mut Repeat,
) -> Result<(), OpError>Expand description
Step forward constraint checking by the given access operation.