def out
import bolt@1.26.0.0/src/check.bend as Checkimport Base
72# what a check prints and how it exits, from what bend reported for each file
73def out(runs: List<&2, Run>) -> Out:
74 +ls = lines_of(runs)
75 out.at(ls, List.length(&2, String, ls))