type AaSplit
import bend-osdev-apparmor@0.1.0.0/text.bend as Textimport Base
175# a name cut at its first "//": the part before it, and the rest after it
176type AaSplit is Data:
177 AaSplit{first: List<&2, U32>, rest: Maybe<&2, List<&2, U32>>}
import bend-osdev-apparmor@0.1.0.0/text.bend as Textimport Base
175# a name cut at its first "//": the part before it, and the rest after it
176type AaSplit is Data:
177 AaSplit{first: List<&2, U32>, rest: Maybe<&2, List<&2, U32>>}