"anchor"></a><code><span>param : <a href="../../IR/Var/index.html#type-t">IR.Var.t</a>;</span></code></td></tr><tr id="type-t.typ" class="anchored"><td class="def record field"><a href="#type-t.typ" class="anchor"></a><code><span>typ : <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a>;</span></code></td></tr><tr id="type-t.location" class="anchored"><td class="def record field"><a href="#type-t.location" class="anchor"></a><code><span>location : <a href="../../IBase/Location/index.html#type-t">IBase.Loc