 term</span><span> = </span><span>{</span></code><table><tr id="type-term.tpos" class="anchored"><td class="def record field"><a href="#type-term.tpos" class="anchor"></a><code><span>tpos : <span class="xref-unresolved">Stdlib</span>.Lexing.position * <span class="xref-unresolved">Stdlib</span>.Lexing.position;</span></code></td></tr><tr id="type-term.tkind" class="anchored"><td class="def record field"><a href="#type-term.tkind" class="anchor"></a><code><span>tkind : <a href="#type-termkind">termkind</a>;<