def AaMount.opts_ok
import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RuleMountimport Base
250def AaMount.opts_ok(os: List<&2, AaMountOpts>, +q: List<&2, List<&2, U32>>) -> Bool:
251 match os:
252 case Nil{}:
253 False{}
254 case Con{o, t}:
255 Bool.or(AaMountOpts.allows(o, q), AaMount.opts_ok(t, q))