xp/index.html#module-Typed">Exp.Typed</a></code></div><div class="spec module" id="module-Tval"><a href="#module-Tval" class="anchor"></a><code><span class="keyword">module</span> Tval = <a href="../State/index.html#module-Tval">State.Tval</a></code></div><div class="spec module" id="module-Reg"><a href="#module-Reg" class="anchor"></a><code><span class="keyword">module</span> Reg = <a href="../State/index.html#module-Reg">State.Reg</a></code></div><div class="spec module" id="module-Simplify"><a href="#mod