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§

Enums§

Traits§

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