Perm.AaPerms.show.go: def of bend-osdev-apparmor@0.1.0.0 Import: import bend-osdev-apparmor@0.1.0.0/perm.bend as Perm Lines 129-139 of bend-osdev-apparmor@0.1.0.0/perm.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/perm.bend&start_line=129&end_line=139 import Base # the permissions as text: the letter of each set bit, in order def AaPerms.show.go(bs: List<&2, Bool>, ls: List<&2, String>) -> String: match bs: case Nil{}: "" case Con{b, rest}: match ls: case Nil{}: "" case Con{l, more}: String.append(Bool.pick(String, b, l, ""), AaPerms.show.go(rest, more)) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append