</a> &#x00BB; <a href="../index.html">Simrel</a> &#x00BB; Base</nav><h1>Module <code>Simrel.Base</code></h1></header><aside><p>This module encodes the definition and checking of the simulation relation.</p></aside><div class="spec module" id="module-Tree"><a href="#module-Tree" class="anchor"></a><code><span class="keyword">module</span> Tree = <a href="../../State/index.html#module-Tree">State.Tree</a></code></div><div class="spec module" id="module-ExTy"><a href="#module-ExTy" class="anchor"></a><code><sp