def AaGPiece.one

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

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

225# the piece p is one byte b for which ok holds
226def AaGPiece.one(ok: Bool, p: List<&2, U32>) -> Bool:
227  match p:
228    case Nil{}:
229      False{}
230    case Con{h, t}:
231      Bool.and(ok, X.AaText.is_nil(t))