def AaSigB.run

bend-osdev-apparmor@0.1.0.0 · rule_signal.bend:139

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

139def AaSigB.run(ts: List<&2, T.AaTerm>, b: AaSigB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaSigB>:
140  match ts:
141    case Nil{}:
142      Done{b}
143    case Con{t, rest}:
144      do Result<&2, &2, E.AaError, AaSigB>:
145        b2 : AaSigB <- AaSigB.step(t, b, src)
146        AaSigB.run(rest, b2, src)