-var">'a</span>, <span class="type-var">'t</span>)</span> Ctypes_static.field</span></code></dt><dt class="spec type" id="type-abstract"><a href="#type-abstract" class="anchor"></a><code><span class="keyword">type</span> <span>'a abstract</span></code><code> = <span><span class="type-var">'a</span> Ctypes_static.abstract</span></code></dt><dt class="spec type" id="type-typ"><a href="#type-typ" class="anchor"></a><code><span class="keyword">type</span> <span>'a typ</span></code><code> = <span><span class="t