def resumed.fuel

ezx@1.11.0.0 · src/pkg/pkg.bend:1352

import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
import 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)

Uses (7)

Used by (1)