Config.home.up: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/config.bend as Config Lines 198-204 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=198&end_line=204 import Base # the directories above the innermost one; none above the root def home.up(above: List<&2, String>) -> List<&2, String>: match above: case Nil{}: Nil{} case Con{_d, rest}: rest Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String