pub fn step_op_stack( op: Stack, pc: usize, stack: &mut Stack, repeat: &mut Repeat, ) -> OpResult<Option<ProgramControlFlow>>
Step forward constraint checking by the given stack operation.