def AaGPiece.no_slash

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

import Base

217# no byte of p is '/'
218def AaGPiece.no_slash(p: List<&2, U32>) -> Bool:
219  match p:
220    case Nil{}:
221      True{}
222    case Con{h, t}:
223      Bool.and(U32.is_ne(h, 47), AaGPiece.no_slash(t))