Pkg.find.miss: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg Lines 759-766 of ezx@1.11.0.0/src/pkg/pkg.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&start_line=759&end_line=766 import Base # a path the files do not hold: not there in a whole tree, and in a partial # one unless it was asked for already def find.miss(whole: Bool, gone: List<&2, String>, +at: String) -> Look: match whole: case True{}: Absent{} case False{}: find.asked(seen.has(gone, at)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Look https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=find.asked https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=seen.has