type AaSplit

bend-osdev-apparmor@0.1.0.0 · text.bend:175

import bend-osdev-apparmor@0.1.0.0/text.bend as Text
import 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>>}

Uses (3)

Used by (5)