Method emit_vec

language/move-prover/bytecode/src/function_data_builder.rs:162–166

Emits a sequence of bytecodes.

(&mut self, bcs: Vec<Bytecode>)

    /// Emits a sequence of bytecodes.
    pub fn emit_vec(&mut self, bcs: Vec<Bytecode>) {
        for bc in bcs {
            self.emit(bc);
        }
    }

    /// Emits a bytecode via a function which takes a freshly generated attribute id.
    pub fn emit_with<F>(&mut self, f: F)