def AaText.split2.opt

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

import Base

190# the split of a rest, if there is one
191def AaText.split2.opt(m: Maybe<&2, List<&2, U32>>) -> Maybe<&2, AaSplit>:
192  match m:
193    case None{}:
194      None{}
195    case Some{xs}:
196      Some{AaText.split2(xs)}