def nfa.start_alive

bend-osdev-apparmor@0.1.0.0 · PROOF.bend:3010

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G

3010def nfa.start_alive(+seq: List<&2, G.AaGTok>) -> {G.AaGNfa.alive(G.AaGNfa.start(seq)) == True{} : Bool}:
3011  match seq:
3012    case Nil{}:
3013      {==}
3014    case Con{tok, r}:
3015      {==}