Type Definition move_model::ast::MemoryLabel

pub type MemoryLabel = GlobalId;

A label used for referring to a specific memory in Global, Exists, and SpecVar expressions.

Trait Implementations

impl Display for MemoryLabel

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

Formats the value using the given formatter.