def AaGSeq.fits

bend-osdev-apparmor@0.1.0.0 · glob.bend:297

import Base

297# the pieces d match the tokens one to one
298def AaGSeq.fits(+seq: List<&2, AaGTok>, d: List<&2, List<&2, U32>>) -> Bool:
299  match seq:
300    case Nil{}:
301      match d:
302        case Nil{}:
303          True{}
304        case Con{p, ps}:
305          False{}
306    case Con{tok, r}:
307      match d:
308        case Nil{}:
309          False{}
310        case Con{p, ps}:
311          Bool.and(AaGTok.piece(tok, p), AaGSeq.fits(r, ps))