Function miden_air::stack::get_aux_assertions_last_step

pub fn get_aux_assertions_last_step<E>(
    result: &mut Vec<Assertion<E>>,
    alphas: &AuxTraceRandElements<E>,
    stack_outputs: &StackOutputs,
    step: usize
)where
    E: FieldElement<BaseField = Felt> + FieldElement,

Returns the stack’s boundary assertions for auxiliary columns at the last step.