def AaChB.arrow

bend-osdev-apparmor@0.1.0.0 · rule_change_profile.bend:74

import Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E

74def AaChB.arrow(b: AaChB, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaChB>:
75  match b:
76    case AaChB{m, e, ar, tg}:
77      match ar:
78        case True{}:
79          Fail{E.AaSrc.syntax(src)}
80        case False{}:
81          Done{AaChB{m, e, True{}, tg}}