 field anchored"><a href="#type-t.decompiler" class="anchor"></a><code><span>decompiler : <a href="../PulseDecompiler/index.html#type-t">Decompiler.t</a>;</span></code></li><li id="type-t.topl" class="def record field anchored"><a href="#type-t.topl" class="anchor"></a><code><span>topl : <a href="../PulseTopl/index.html#type-state">PulseTopl.state</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>state at of the Topl monitor at the current program point, when Topl is enabled</p>