Config.levels: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/config.bend as Config Lines 122-128 of bolt@1.27.0.0/src/config.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/config.bend&start_line=122&end_line=128 import Base # each setting as the level it sets its name to def levels(ss: List<&2, Setting>) -> List<&2, LevelSet>: match ss: case Nil{}: Nil{} case Con{Setting{n, w, _line}, rest}: LevelSet{n, of_word(w)} <> levels(rest) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=LevelSet https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=Setting https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=of_word