tml">infer</a> &#x00BB; <a href="../index.html">Biabduction</a> &#x00BB; Rearrange</nav><h1>Module <code>Biabduction.Rearrange</code></h1></header><aside><p>Re-arrangement and extension of structures with fresh variables</p></aside><dl><dt class="spec exception" id="exception-ARRAY_ACCESS"><a href="#exception-ARRAY_ACCESS" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">ARRAY_ACCESS</span></code></dt></dl><dl><dt class="spec value" id="val-is_only_pt_by_f