Workspace.absent: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ws/workspace.bend as Workspace Lines 285-293 of ezx@1.11.0.0/src/ws/workspace.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&start_line=285&end_line=293 import Base # the first entry naming a directory as it is that names none there, "" for # none def absent(es: List<&2, Entry>, +found: List<&2, List<&2, String>>) -> String: match es: case []: "" case +hd <> tl: rest = absent(tl, found) Bool.pick(String, present.one(hd, found), rest, entry.text(hd)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick 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/ws/workspace.bend&name=Entry https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=entry.text https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=present.one