RuleMount.AaMount.clash.go: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RuleMount
Lines 132-141 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=132&end_line=141

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

def AaMount.clash.go(ps: List<&2, String>, +ns: List<&2, List<&2, U32>>) -> Bool:
  match ps:
    case Nil{}:
      False{}
    case Con{a, t}:
      match t:
        case Nil{}:
          False{}
        case Con{b, rest}:
          Bool.or(Bool.and(X.AaText.member(ns, X.AaText.of_string(a)), X.AaText.member(ns, X.AaText.of_string(b))), AaMount.clash.go(rest, ns))

Uses (8):
  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=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/text.bend&name=AaText.member
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&name=AaText.of_string