Expand description
Global machine state as well as implementation of the interpreter engine
Machine trait.
Structs
Extra per-allocation data
The machine itself.
Extra data stored with each stack frame
Precomputed layouts of primitive types
Enums
Extra memory kinds
Pointer provenance (tag).
Constants
Traits
A little trait that’s useful to be inherited by extension traits.
Type Definitions
A rustc InterpCx for Miri.