- Represents a pointer in the Miri engine.
- This trait abstracts over the kind of provenance that is associated with a
Pointer. It is mostly opaque; the
Machinetrait extends it with some more operations that also have access to some global state. The
Debugrendering is used to display bare provenance, and for the default impl of