Structs
Represents a pointer in the Miri engine.
Traits
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
pointer), but derive adds some unnecessary bounds.