pub fn step_op_access( access: Access<'_>, op: Access, stack: &mut Stack, repeat: &mut Repeat, cache: &LazyCache, ) -> OpResult<()>
Step forward constraint checking by the given access operation.