Text.AaText.lappend: def of bend-osdev-apparmor@0.1.0.0 Import: import bend-osdev-apparmor@0.1.0.0/text.bend as Text Lines 198-203 of bend-osdev-apparmor@0.1.0.0/text.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&start_line=198&end_line=203 import Base def AaText.lappend(xs: List<&2, List<&2, U32>>, ys: List<&2, List<&2, U32>>) -> List<&2, List<&2, U32>>: match xs: case Nil{}: ys case Con{h, t}: Con{h, AaText.lappend(t, ys)} 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=U32