def AaMount.options_ok
import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RuleMountimport Base
257def AaMount.options_ok(os: List<&2, AaMountOpts>, +q: List<&2, List<&2, U32>>) -> Bool:
258 match os:
259 case Nil{}:
260 True{}
261 case Con{o, t}:
262 AaMount.opts_ok(Con{o, t}, q)