/span> <span><a href="../IR/Procname/index.html#type-t">IR.Procname.t</a> option</span></code></td></tr></table></dt><dd><p>Final unknown function in trace</p></dd></dl><dl><dt class="spec type" id="type-elem"><a href="#type-elem" class="anchor"></a><code><span class="keyword">type</span> elem</code><code> = </code><table class="variant"><tr id="type-elem.ArrayDeclaration" class="anchored"><td class="def constructor"><a href="#type-elem.ArrayDeclaration" class="anchor"></a><code>| </code><code><span class="