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.

Structs

Enums

Traits

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