Method get_target

language/move-prover/bytecode/src/function_data_builder.rs:91–93

Gets a function target viewpoint on this builder. This locks the data for mutation until the returned value dies.

(&self)

    /// Gets a function target viewpoint on this builder. This locks the data for mutation
    /// until the returned value dies.
    pub fn get_target(&self) -> FunctionTarget<'_> {
        FunctionTarget::new(self.fun_env, &self.data)
    }

    /// Add a return parameter.
    pub fn add_return(&mut self, ty: Type) -> usize {