Type Definition move_model::ast::MemoryLabel
source · pub type MemoryLabel = GlobalId;
Expand description
A label used for referring to a specific memory in Global, Exists, and SpecVar expressions.
pub type MemoryLabel = GlobalId;
A label used for referring to a specific memory in Global, Exists, and SpecVar expressions.