def AaMtB.cond

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

import Base
import bend-osdev-apparmor@0.1.0.0/text.bend as X
import bend-osdev-apparmor@0.1.0.0/token.bend as T
import bend-osdev-apparmor@0.1.0.0/error.bend as E

152def AaMtB.cond(+k: List<&2, U32>, +v: T.AaTerm, +b: AaMtB, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaMtB>:
153  Bool.pick(Result<&2, &2, E.AaError, AaMtB>, Bool.or(X.AaText.is(k, "fstype"), X.AaText.is(k, "vfstype")), AaMtB.cond.fstype(v, b, src), Bool.pick(Result<&2, &2, E.AaError, AaMtB>, X.AaText.is(k, "options"), AaMtB.cond.options(True{}, v, b, src), Fail{E.AaSrc.syntax(src)}))