def AaPtB.run

bend-osdev-apparmor@0.1.0.0 · rule_ptrace.bend:93

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

93def AaPtB.run(ts: List<&2, T.AaTerm>, b: AaPtB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaPtB>:
94  match ts:
95    case Nil{}:
96      Done{b}
97    case Con{t, rest}:
98      do Result<&2, &2, E.AaError, AaPtB>:
99        b2 : AaPtB <- AaPtB.step(t, b, src)
100        AaPtB.run(rest, b2, src)