Method get_spec

language/move-prover/bytecode/src/function_target.rs:266–268

Returns specification associated with this function.

(&'env self)

    /// Returns specification associated with this function.
    pub fn get_spec(&'env self) -> &'env Spec {
        self.func_env.get_spec()
    }

    /// Returns the value of a boolean pragma for this function. This first looks up a
    /// pragma in this function, then the enclosing module, and finally uses the provided default.