def AaGFlat.literal

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

import Base

812# every flat token is a literal character
813def AaGFlat.literal(xs: List<&2, AaGFlat>) -> Bool:
814  match xs:
815    case Nil{}:
816      True{}
817    case Con{f, t}:
818      match f:
819        case AaGFTok{tok}:
820          Bool.and(AaGTok.is_char(tok), AaGFlat.literal(t))
821        case AaGFOpen{}:
822          False{}
823        case AaGFSep{}:
824          False{}
825        case AaGFClose{}:
826          False{}