ng" class="anchor"></a><code><span><span class="keyword">mutable</span> stopping : <a href="../Stopping/index.html#type-typ">Stopping.typ</a>;</span></code></li><li id="type-typ.checkpoint" class="def record field anchored"><a href="#type-typ.checkpoint" class="anchor"></a><code><span><span class="keyword">mutable</span> checkpoint : <a href="../Checkpoint/index.html#type-typ">Checkpoint.typ</a>;</span></code></li><li id="type-typ.verbosity" class="def record field anchored"><a href="#type-typ.verbosity" cl