type-t.Allocated" class="anchored"><td class="def constructor"><a href="#type-t.Allocated" class="anchor"></a><code>| </code><code><span class="constructor">Allocated</span> <span class="keyword">of</span> <a href="../IR/Procname/index.html#type-t">IR.Procname.t</a> * <a href="../Pulselib/PulseTrace/index.html#type-t">Trace.t</a></code></td><td class="doc"><p>the <span class="xref-unresolved" title="unresolved reference to &quot;Procname.t&quot;"><code>Procname</code>.t</span> is the function causing the al