Function miden_air::stack::get_assertions_first_step

pub fn get_assertions_first_step(
    result: &mut Vec<Assertion<Felt>>,
    stack_inputs: &[Felt]
)

Returns the stack’s boundary assertions for the main trace at the first step.