p" class="def record field anchored"><a href="#type-t.typ" class="anchor"></a><code><span>typ : <span><a href="../Typ/index.html#type-t">Typ.t</a> option</span>;</span></code></li><li id="type-t.exp2" class="def record field anchored"><a href="#type-t.exp2" class="anchor"></a><code><span>exp2 : <a href="../Exp/index.html#type-t">Exp.t</a>;</span></code></li><li id="type-t.loc" class="def record field anchored"><a href="#type-t.loc" class="anchor"></a><code><span>loc : <a href="../Location/index.html#type-t"