def ef_class

bend-osdev-apparmor@0.1.0.0 · PROOF.bend:122

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G

122def ef_class(+n: Bool, +rs: List<&2, G.AaGRange>, +r: List<&2, G.AaGTok>, +ds: List<&2, List<&2, List<&2, U32>>>) -> {G.AaGSeq.fits_any(Con{G.AaGClass{n, rs}, r}, G.AaGCuts.empty_first(ds)) == False{} : Bool}:
123  match ds:
124    case Nil{}:
125      {==}
126    case Con{d, t}:
127      ef_class(n, rs, r, t)