g_tasks" class="anchor"></a><code>remaining_tasks : unit <span>&#45;&gt;</span> int;</code></td><td class="doc"><p>number of tasks remaining to complete -- only used for reporting, so imprecision is not a bug</p></td></tr><tr id="type-t.is_empty" class="anchored"><td class="def field"><a href="#type-t.is_empty" class="anchor"></a><code>is_empty : unit <span>&#45;&gt;</span> bool;</code></td><td class="doc"><p>when should the main loop of the task manager stop expecting new tasks</p></td></tr><tr id="type-t.