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.
- A MemPlace with its layout. Constructing it is only possible in this module.
- MemPlace 🔒
- Information required for the sound usage of a
- Place 🔒
Weiteabletrait describes interpreter values that can be written to.