def AaDbB.run

bend-osdev-apparmor@0.1.0.0 · rule_dbus.bend:166

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

166def AaDbB.run(ts: List<&2, T.AaTerm>, b: AaDbB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaDbB>:
167  match ts:
168    case Nil{}:
169      Done{b}
170    case Con{t, rest}:
171      do Result<&2, &2, E.AaError, AaDbB>:
172        b2 : AaDbB <- AaDbB.step(t, b, src)
173        AaDbB.run(rest, b2, src)