RuleMount.AaMountOpts.allows: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RuleMount
Lines 240-248 of bend-osdev-apparmor@0.1.0.0/rule_mount.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&start_line=240&end_line=248

import Base
import bend-osdev-apparmor@0.1.0.0/text.bend as X

# every option of q is one of the flags; and, for an exact condition, the other way round too
def AaMountOpts.allows(o: AaMountOpts, +q: List<&2, List<&2, U32>>) -> Bool:
  match o:
    case AaMountOpts{exact, +fl}:
      match exact:
        case True{}:
          Bool.and(X.AaText.subset(q, fl), X.AaText.subset(fl, q))
        case False{}:
          X.AaText.subset(q, fl)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&name=AaMountOpts
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&name=AaText.subset