def dir.names

ezsys@0.1.0.0 · src/dir.bend:64

import ezsys@0.1.0.0/src/dir.bend as Dir
import 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))

Uses (4)

Used by (1)