def dir.names
import ezsys@0.1.0.0/src/dir.bend as Dirimport Base
64# what dir.list answers for the raw names a directory read gave
65def dir.names(raw: List<&2, String>) -> List<&2, String>:
66 dir.sort(dir.keep(raw))
import ezsys@0.1.0.0/src/dir.bend as Dirimport Base
64# what dir.list answers for the raw names a directory read gave
65def dir.names(raw: List<&2, String>) -> List<&2, String>:
66 dir.sort(dir.keep(raw))