Apparmor.Aa.opt_list: def of bend-osdev-apparmor@0.1.0.0 Import: import bend-osdev-apparmor@0.1.0.0/apparmor.bend as Apparmor Lines 135-140 of bend-osdev-apparmor@0.1.0.0/apparmor.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/apparmor.bend&start_line=135&end_line=140 import Base import bend-osdev-bytes@0.1.0.0/bytes.bend as B def Aa.opt_list(m: Maybe<&2, B.Octets>) -> Maybe<&2, List<&2, U32>>: match m: case None{}: None{} case Some{o}: Some{B.Octets.to_list(o)} Uses (5): 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-bytes@0.1.1.0/bytes.bend&name=Octets https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.to_list