fact: Definition alpha : Parser Chars ascii M ascii n := anyOf (fromString "abcdefghijklmnopqrstuvwxyz"%string).
imports: parseque(Category Induction Combinators Sized NEList Numbers) Coq(Ascii String) parseque(StringAsList) Coq(List)