Incremental derivation session whose output agrees with one-shot derivation.
Returns the final or bounded-partial result after completion.
Reports whether the requested iterations ended or a bound stopped work.
Advances by at most maximumWorkUnits rewritten source symbols.
maximumWorkUnits
Incremental derivation session whose output agrees with one-shot derivation.