Function miden_air::stack::enforce_constraints
source · pub fn enforce_constraints<E: FieldElement<BaseField = Felt>>(
frame: &EvaluationFrame<E>,
result: &mut [E]
) -> usize
Expand description
Enforces constraints for the stack module and all stack operations.