fact: Definition guard (f : A -> bool) (p : Parser Toks Tok M A n) : Parser Toks Tok M A n := guardM (fun a => if f a then Some a else None) p.
imports: Coq(PeanoNat) parseque(Category Induction Sized NEList Success EqDec)