dex.html">infer</a> &#x00BB; BO__BufferOverrunTrace</nav><h1>Module <code>BO__BufferOverrunTrace</code></h1></header><dl><dt class="spec type" id="type-final"><a href="#type-final" class="anchor"></a><code><span class="keyword">type</span> final</code><code> = </code><table class="variant"><tr id="type-final.UnknownFrom" class="anchored"><td class="def constructor"><a href="#type-final.UnknownFrom" class="anchor"></a><code>| </code><code><span class="constructor">UnknownFrom</span> <span class="keyword">of<