~/jendhub

def nfa.falses_dead

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

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

2994def nfa.falses_dead(+seq: List<&2, G.AaGTok>) -> {G.AaGNfa.alive(G.AaGNfa.falses(seq)) == False{} : Bool}:
2995  match seq:
2996    case Nil{}:
2997      {==}
2998    case Con{tok, r}:
2999      nfa.falses_dead(r)

Uses (5)

Used by (1)