def file.ins
import ezx@1.11.0.0/src/pkg/pkg.bend as Pkgimport Base
563# a file inserted into a list already in path order
564def file.ins(fs: List<&2, Item>, +item: Item) -> List<&2, Item>:
565 match fs:
566 case []:
567 [item]
568 case Con{+h, +t}:
569 file.ins.put(file.le(item, h), item, h, t, file.ins(t, item))