def AaDbB.cond.peer

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

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

145def AaDbB.cond.peer(v: T.AaTerm, b: AaDbB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaDbB>:
146  match v:
147    case T.AaTmList{xs}:
148      AaDbB.peer(xs, b, src)
149    case _:
150      Fail{E.AaSrc.syntax(src)}