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
Machine trait extends it with some more operations that also have access to
some global state.
We don’t actually care about this
Debug bound (we use
Provenance::fmt to format the entire
derive adds some unnecessary bounds.