def AaPtB.set_peer

bend-osdev-apparmor@0.1.0.0 · rule_ptrace.bend:65

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

65def AaPtB.set_peer(b: AaPtB, g: G.AaGlob, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaPtB>:
66  match b:
67    case AaPtB{p, pe}:
68      match pe:
69        case None{}:
70          Done{AaPtB{p, Some{g}}}
71        case Some{h}:
72          Fail{E.AaSrc.syntax(src)}