Method charge_steps

compiler/src/modules/vm/dispatch.rs:790–796

(&mut self, n: usize)

    /* Charge `n` units at once; for native builtins (sort, materialise) whose cost scales with input size. */
    #[inline]
    pub(crate) fn charge_steps(&mut self, n: usize) -> Result<(), VmErr> {
        if !self.sandbox_off {
            if self.budget < n { self.budget = 0; return Err(cold_budget()); }
            self.budget -= n;
        }
        Ok(())
    }

    #[inline(never)]
    fn exec_for_iter(&mut self, op: u16, ip: &mut usize, n: usize, chunk: &SSAChunk, slots: &mut [Val]) -> Result<(), VmErr> {