Method instantiate

language/move-prover/bytecode/src/stackless_bytecode.rs:267–272

(&self, params: &[Type])

    }

    pub fn instantiate(&self, params: &[Type]) -> Self {
        match self {
            Self::GlobalRoot(qid) => Self::GlobalRoot(qid.instantiate_ref(params)),
            _ => self.clone(),
        }
    }
}

/// A borrow edge.