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

import Base

# a name put into a sorted list, before the first name it does not sort after
def dir.insert(+name: String, xs: List<&2, String>) -> List<&2, String>:
  match xs:
    case Nil{}:
      [name]
    case Con{+next, +ys}:
      dir.insert.pick(String.is_le(name, next), name, next, ys,
        _u => dir.insert(name, ys))

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=Base/base.bend&name=String.is_le
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/dir.bend&name=dir.insert.pick