~/jendhub

def AaXSel.all_eq

bend-osdev-apparmor@0.1.0.0 · transitions.bend:189

import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
import Base

189# every selection agrees with x
190def AaXSel.all_eq(xs: List<&2, AaXSel>, +x: AaXSel) -> Bool:
191  match xs:
192    case Nil{}:
193      True{}
194    case Con{y, t}:
195      Bool.and(AaXSel.eq(y, x), AaXSel.all_eq(t, x))

Uses (5)

Used by (1)