def AaChB.run

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

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

119def AaChB.run(ts: List<&2, T.AaTerm>, b: AaChB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaChB>:
120  match ts:
121    case Nil{}:
122      Done{b}
123    case Con{t, rest}:
124      do Result<&2, &2, E.AaError, AaChB>:
125        b2 : AaChB <- AaChB.step(t, b, src)
126        AaChB.run(rest, b2, src)