Expand description

Computations on places – field projections, going from mir::Place, and writing into a place. All high-level functions to write to memory work on places as destinations.

Modules§

Structs§

  • A MemPlace with its layout. Constructing it is only possible in this module.
  • MemPlace 🔒
  • An evaluated place, together with its type.

Enums§

Traits§

  • The Weiteable trait describes interpreter values that can be written to.