def AaDbB.put

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

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G
import bend-osdev-apparmor@0.1.0.0/error.bend as E

91def AaDbB.put(m: Maybe<&2, Nat>, b: AaDbB, g: G.AaGlob, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaDbB>:
92  match m:
93    case None{}:
94      Fail{E.AaSrc.syntax(src)}
95    case Some{n}:
96      match b:
97        case AaDbB{p, xs}:
98          AaDbB.put.go(AaDbus.set(n, xs, g), p, src)