~/jendhub

def AaParse.safe_clash

bend-osdev-apparmor@0.1.0.0 · parse.bend:1538

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

1538def AaParse.safe_clash(rs: List<&2, RX.AaChangeRule>, +seen: Maybe<&2, Bool>) -> Bool:
1539  match rs:
1540    case Nil{}:
1541      False{}
1542    case Con{+r, t}:
1543      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)

Used by (1)