Requests cooperative cancellation at the next derivation boundary.
Returns the result after completion, otherwise undefined.
Reports whether generation has produced a final or bounded-partial result.
Advances the reusable derivation buffers by a bounded work amount.
Incremental high-level session. Derivation is processed symbol-by-symbol.