def resumed.fuel
import ezx@1.11.0.0/src/pkg/pkg.bend as Pkgimport Base
1352# fuel enough for a walk taken up again over the files read so far: a step
1353# for every file still queued, and `walk.fuel`'s step for every import those files
1354# can queue
1355def resumed.fuel(+tree: Tree, +st: State) -> Nat:
1356 Tree{_whole, fs, _gone} = tree
1357 State{_seen, _out, _stop, queue} = st
1358 (List.length(&2, Task, queue) + walk.fuel(fs) : Nat)