def dir.sort

ezsys@0.1.0.0 · src/dir.bend:36

import Base

36# a list sorted ascending by String.order (insertion sort)
37def dir.sort(xs: List<&2, String>) -> List<&2, String>:
38  match xs:
39    case Nil{}:
40      Nil{}
41    case Con{+name, xt}:
42      dir.insert(name, dir.sort(xt))