def AaParse.cp_next
import bend-osdev-apparmor@0.1.0.0/parse.bend as Parseimport Base
1527def AaParse.cp_next(applies: Bool, s: Bool, +seen: Maybe<&2, Bool>) -> Maybe<&2, Bool>:
1528 match applies:
1529 case False{}:
1530 seen
1531 case True{}:
1532 match seen:
1533 case None{}:
1534 Some{s}
1535 case Some{x}:
1536 Some{x}