trans_state"><a href="#type-trans_state" class="anchor"></a><code><span class="keyword">type</span> trans_state</code><code> = </code><code>{</code><table class="record"><tr id="type-trans_state.context" class="anchored"><td class="def field"><a href="#type-trans_state.context" class="anchor"></a><code>context : <a href="../ClangFrontend/CContext/index.html#type-t">ClangFrontend.CContext.t</a>;</code></td><td class="doc"><p>current context of the translation</p></td></tr><tr id="type-trans_state.succ_nodes"