def AaParse.head.hat
bend-osdev-apparmor@0.1.0.0 · parse.bend:1395
import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
import Base
import bend-osdev-apparmor@0.1.0.0/token.bend as T
import bend-osdev-apparmor@0.1.0.0/error.bend as E
1395
1396def AaParse.head.hat(ts: List<&2, T.AaTerm>, +src: E.AaSrc) -> Result<&2, &2, E.AaError, AaHead>:
1397 match ts:
1398 case Nil{}:
1399 Fail{E.AaSrc.syntax(src)}
1400 case Con{t, rest}:
1401 match t:
1402 case T.AaTmWord{w}:
1403 AaParse.head.hat.name(w, rest, src)
1404 case _:
1405 Fail{E.AaSrc.syntax(src)}