bute/index.html#type-allocator">Attribute.allocator</a>;</span></code></td></tr><tr id="type-t.allocation_trace" class="anchored"><td class="def record field"><a href="#type-t.allocation_trace" class="anchor"></a><code><span>allocation_trace : <a href="../PulseTrace/index.html#type-t">Trace.t</a>;</span></code></td></tr><tr id="type-t.location" class="anchored"><td class="def record field"><a href="#type-t.location" class="anchor"></a><code><span>location : <a href="../../IBase/Location/index.html#type-t">I