ode><span><span class="keyword">mutable</span> clipping : <a href="../Clipping/index.html#type-typ">Clipping.typ</a>;</span></code></li><li id="type-typ.stopping" class="def record field anchored"><a href="#type-typ.stopping" 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><spa