def fe

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

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

76# the pieces d fit the tokens r after an empty first piece
77def fe(+r: List<&2, G.AaGTok>, d: List<&2, List<&2, U32>>) -> Bool:
78  match d:
79    case Nil{}:
80      False{}
81    case Con{p, ps}:
82      Bool.and(X.AaText.is_nil(p), G.AaGSeq.fits(r, ps))