fact: Definition decimal_digit : Parser Chars ascii M nat n := alts ((0 <$ exact "0") :: (1 <$ exact "1") :: (2 <$ exact "2") :: (3 <$ exact "3") :: (4 <$ exact "4") :: (5 <$ exact "5") :: (6 <$ exact "6") :: (7 <$ exact "7") :: (8 <$ exact "8") :: (9 <$ exact "9") :: []).
imports: parseque(Category Sized NEList Combinators) Coq(Ascii) Coq(List) Coq(BinInt)