RuleCapability.AaCap.of_name: def of bend-osdev-apparmor@0.1.0.0 Import: import bend-osdev-apparmor@0.1.0.0/rule_capability.bend as RuleCapability Lines 36-38 of bend-osdev-apparmor@0.1.0.0/rule_capability.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_capability.bend&start_line=36&end_line=38 import Base import bend-osdev-caps@0.1.0.0/caps.bend as C import bend-osdev-apparmor@0.1.0.0/text.bend as X # the number of the capability named w (lower case, no CAP_ prefix) def AaCap.of_name(+w: List<&2, U32>) -> Maybe<&2, U32>: Bool.pick(Maybe<&2, U32>, AaCap.lower(w), C.Cap.of_name(X.AaText.to_string(X.AaText.append(X.AaText.of_string("CAP_"), AaCap.upper(w)))), None{}) Uses (10): 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=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_capability.bend&name=AaCap.lower https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_capability.bend&name=AaCap.upper https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&name=AaText.append https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&name=AaText.of_string https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&name=AaText.to_string https://jend.leeeet.dev/definition.txt?path=bend-osdev-caps@0.1.0.0/caps.bend&name=Cap.of_name