def AaMtB.arrow

bend-osdev-apparmor@0.1.0.0 · rule_mount.bend:90

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

90def AaMtB.arrow(b: AaMtB, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaMtB>:
91  match b:
92    case AaMtB{pe, fs, os, p1, ar, p2}:
93      match ar:
94        case True{}:
95          Fail{E.AaSrc.syntax(src)}
96        case False{}:
97          Done{AaMtB{pe, fs, os, p1, True{}, p2}}