def AaDbB.cond.one

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

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G
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

126def AaDbB.cond.one(m: Maybe<&2, Nat>, v: T.AaTerm, b: AaDbB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaDbB>:
127  do Result<&2, &2, E.AaError, AaDbB>:
128    g : G.AaGlob <- R.AaRule.value_glob(v, src)
129    AaDbB.put(m, b, g, src)