type</p></dd></dl><dl><dt class="spec value" id="val-capt_typ"><a href="#val-capt_typ" class="anchor"></a><code><span class="keyword">val</span> capt_typ : <span><span>(<a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> <span class="type-var">'f</span>, <span class="type-var">'f</span>, <a href="../index.html#type-accept_more">accept_more</a>)</span> <a href="../index.html#type-template_arg">template_arg</a></span></code></dt><dd><p>Captures a type</p></dd></dl><dl><dt class="spe