def tree.have
import ezx@1.11.0.0/src/pkg/pkg.bend as Pkgimport Base
1293# a file read, added to what the walk was given
1294def tree.have(tree: Tree, src: Source) -> Tree:
1295 Tree{whole, files, gone} = tree
1296 Tree{whole, src <> files, gone}