Structsยง
- The type of provenance in the compile-time interpreter. This is a packed representation of:
- Represents a pointer in the Miri engine.
Constantsยง
- ALLOC_
ID_ ๐MASK - IMMUTABLE_
MASK ๐ - SHARED_
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
.