fact: Definition decimal_nat : Parser Chars ascii M nat n := let convert ds := foldl (fun ih d => 10 * ih + d) ds O in Combinators.map convert (nelist decimal_digit).
imports: parseque(Category Sized NEList Combinators) Coq(Ascii) Coq(List) Coq(BinInt)