_invalid_address.invalidation" class="anchor"></a><code><span>invalidation : <a href="../PulseInvalidation/index.html#type-t">Invalidation.t</a>;</span></code></td></tr><tr id="type-access_to_invalid_address.invalidation_trace" class="anchored"><td class="def record field"><a href="#type-access_to_invalid_address.invalidation_trace" class="anchor"></a><code><span>invalidation_trace : <a href="../PulseTrace/index.html#type-t">Trace.t</a>;</span></code></td><td class="def-doc"><span class="comment-delim">(*</