Dir.dir.keep: def of ezsys@0.1.0.0 Import: import ezsys@0.1.0.0/src/dir.bend as Dir Lines 56-62 of ezsys@0.1.0.0/src/dir.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/dir.bend&start_line=56&end_line=62 import Base # the names that are not "." or "..", in their order def dir.keep(xs: List<&2, String>) -> List<&2, String>: match xs: case Nil{}: Nil{} case Con{+name, xt}: dir.keep.pick(dir.dot(name), name, _u => dir.keep(xt)) Uses (4): 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=ezsys@0.1.0.0/src/dir.bend&name=dir.dot https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/dir.bend&name=dir.keep.pick