def AaMount.check
import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RuleMountimport Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E
143def AaMount.check(+exact: Bool, +ns: List<&2, List<&2, U32>>, src: E.AaSrc) -> Result<&2, &2, E.AaError, List<&2, List<&2, U32>>>:
144 Bool.pick(Result<&2, &2, E.AaError, List<&2, List<&2, U32>>>, Bool.and(exact, AaMount.clash.go(AaMount.opposed(), ns)), Fail{E.AaSrc.name(src)}, Done{ns})