Parse.AaParse.safe_clash: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
Lines 1538-1543 of bend-osdev-apparmor@0.1.0.0/parse.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&start_line=1538&end_line=1543

import Base
import bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend as RX

def AaParse.safe_clash(rs: List<&2, RX.AaChangeRule>, +seen: Maybe<&2, Bool>) -> Bool:
  match rs:
    case Nil{}:
      False{}
    case Con{+r, t}:
      Bool.or(AaParse.cp_clash(AaParse.cp_applies(r), AaParse.cp_safe(r), seen), AaParse.safe_clash(t, AaParse.cp_next(AaParse.cp_applies(r), AaParse.cp_safe(r), seen)))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.cp_applies
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.cp_clash
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.cp_next
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.cp_safe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend&name=AaChangeRule