&#x00BB; BO__ArrayBlk</nav><h1>Module <code>BO__ArrayBlk</code></h1></header><div class="spec module" id="module-ArrInfo"><a href="#module-ArrInfo" class="anchor"></a><code><span class="keyword">module</span> <a href="ArrInfo/index.html">ArrInfo</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div><div class="spec include"><div class="doc"><details open="open"><summary><span class="def"><code><span class="keyword">include</span> <a href="../Absint/AbstractDomain/index