lta \, \Gamma \vdash \texttt{App}\{\tau\}(e) \, : \, [\tau / t]\tau&#39;} \; (16.2e)
</span>
<figcaption>
Typing rules for System F, From PFPL Chapter 16
</figcaption>
</figure>
<div class="wide">
<div class="sourceCode" id="cb22"><pre class="sourceCode numberSource yaml numberLines hl-4"><code class="sourceCode yaml"><span id="cb22-1"><a href="#cb22-1"></a><span class="pp">---</span></span>
<span id="cb22-2"><a href="#cb22-2"></a><span class="co"># ...</span></span>
<span id="cb22-3"><a href="#cb22-3"></a>