def AaSigB.cond.set

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

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
import bend-osdev-apparmor@0.1.0.0/rule.bend as R

114def AaSigB.cond.set(v: T.AaTerm, b: AaSigB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaSigB>:
115  do Result<&2, &2, E.AaError, AaSigB>:
116    xs : List<&2, List<&2, U32>> <- R.AaRule.texts(T.AaTerm.texts(v), src)
117    ys : List<&2, List<&2, U32>> <- AaSignal.check(xs, src)
118    return AaSigB.add_signals(b, ys)