def AaMtB.run

bend-osdev-apparmor@0.1.0.0 · rule_mount.bend:195

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

195def AaMtB.run(ts: List<&2, T.AaTerm>, +b: AaMtB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaMtB>:
196  match ts:
197    case Nil{}:
198      Done{b}
199    case Con{t, rest}:
200      do Result<&2, &2, E.AaError, AaMtB>:
201        b2 : AaMtB <- AaMtB.step(AaMtB.pending(b), t, b, src)
202        AaMtB.run(rest, b2, src)