Dir.dir.names: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/dir.bend as Dir
Lines 64-66 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=64&end_line=66

import Base

# what dir.list answers for the raw names a directory read gave
def dir.names(raw: List<&2, String>) -> List<&2, String>:
  dir.sort(dir.keep(raw))

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.keep
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/dir.bend&name=dir.sort