def AaMtB.path.after
bend-osdev-apparmor@0.1.0.0 · rule_mount.bend:99
import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RuleMount
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
99def AaMtB.path.after(p2: Maybe<&2, G.AaGlob>, pe: Nat, fs: Maybe<&2, List<&2, G.AaGlob>>, os: List<&2, AaMountOpts>, p1: Maybe<&2, G.AaGlob>, g: G.AaGlob, src: E.AaSrc) -> Result<&2, &2, E.AaError, AaMtB>:
100 match p2:
101 case None{}:
102 Done{AaMtB{pe, fs, os, p1, True{}, Some{g}}}
103 case Some{h}:
104 Fail{E.AaSrc.syntax(src)}