~/jendhub

def ef_any

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

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

115def ef_any(+r: List<&2, G.AaGTok>, +ds: List<&2, List<&2, List<&2, U32>>>) -> {G.AaGSeq.fits_any(Con{G.AaGAny{}, r}, G.AaGCuts.empty_first(ds)) == False{} : Bool}:
116  match ds:
117    case Nil{}:
118      {==}
119    case Con{d, t}:
120      ef_any(r, t)

Uses (6)

Used by (1)