tree abd6f5a9162cd7ea5c65c5cf6d2158bf2f3f3ded
parent 2c27905c15a51983b54d84f050d3bda096194d27
author Travis Cross <tc@traviscross.com> 1780873306 +0000
committer Travis Cross <tc@traviscross.com> 1781635959 +0000

Define pointer metadata

The pointer-to-pointer cast rules and the wide-pointer validity rule
both speak of the *metadata* of a pointer, but we hadn't explicitly
defined the term (even though we had defined the contents of that
metadata).  Let's do that and link to it.