label">jobs</span>:int <span class="arrow">&#45;&gt;</span></span>
  <span><span class="label">child_prologue</span>:<span>(<span><a href="Worker/index.html#type-id">Worker.id</a> <span class="arrow">&#45;&gt;</span></span> unit)</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="label">f</span>:<span>(<span><span class="type-var">'work</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'result</span> option</span>)</span> <span class="arrow">&#45;&gt;</span