</a> &#x00BB; Simrel__Base</nav><h1>Module <code>Simrel__Base</code></h1><p>This module encodes the definition and checking of the simulation relation.</p></header><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><span class="keyword">module</span> ExTy = <a href="../E