s="type-var">'s</span></span> <span><span>| `Stop</span> of <span class="type-var">'b</span></span> ]</span>)</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="label">finish</span>:<span>(<span><span class="type-var">'s</span> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'b</span>)</span> <span class="arrow">&#45;&gt;</span></span>
  <span class="type-var">'b</span></span></code></div></div><h2 id="convert"><a href="#convert" class="anchor"></a>Convert</h2><div cl