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; theMachinetrait extends it with some more operations that also have access to some global state. TheDebugrendering is used to display bare provenance, and for the default impl offmt.