def AaPre.fail
import bend-osdev-apparmor@0.1.0.0/parse.bend as Parseimport Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E
814def AaPre.fail(p: AaPre, e: E.AaError) -> AaPre:
815 match p:
816 case AaPre{v, a, d, s, err}:
817 match err:
818 case None{}:
819 AaPre{v, a, d, s, Some{e}}
820 case Some{e0}:
821 AaPre{v, a, d, s, Some{e0}}