/a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-type_expr">type_expr</a></span></code></div><div class="spec-doc"><p><code>subst_type_expr phi te</code> applies substitution <code>phi</code> to type_expression <code>te</code>, replacing all occurences of <em>parameter</em> name <code>id</code> in type expression <code>te</code> by <code>phi id</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-subst_param_expr"><a href="#val-subst_param_expr" class="anchor"