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.

Trait Implementations§

source§

impl Display for MemoryLabel

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more