Method get_annotations

language/move-prover/bytecode/src/function_target.rs:283–285

Gets annotations.

(&self)

    /// Gets annotations.
    pub fn get_annotations(&self) -> &'env Annotations {
        &self.data.annotations
    }

    /// Gets acquired resources
    pub fn get_acquires_global_resources(&self) -> &[StructId] {