<h3 id="substitution"><a href="#substitution" class="anchor"></a>Substitution</h3><div class="odoc-spec"><div class="spec type" id="type-subst" class="anchored"><a href="#type-subst" class="anchor"></a><code><span><span class="keyword">type</span> subst</span><span> = <span class="keyword">private</span> <span><span>(<a href="../../IR/Ident/index.html#type-t">IR.Ident.t</a> * <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a>)</span> list</span></span></code></div></div><div class="odoc-spec"><div class=