Structsยง
- The type of provenance in the compile-time interpreter. This is a packed representation of:
- Represents a pointer in the Miri engine.
Constantsยง
- ALLO
C_ ๐ID_ MASK - IMMUTABL
E_ ๐MASK - SHARE
D_ ๐REF_ MASK
Traitsยง
- This trait abstracts over the kind of provenance that is associated with a
Pointer
. It is mostly opaque; theMachine
trait extends it with some more operations that also have access to some global state. TheDebug
rendering is used to display bare provenance, and for the default impl offmt
.