fact: Definition alt (p q : Parser Toks Tok M A n) : Parser Toks Tok M A n := MkParser (fun _ mlen toks => alt (runParser p mlen toks) (runParser q mlen toks)).
imports: Coq(PeanoNat) parseque(Category Induction Sized NEList Success EqDec)