fact: Definition decimal_int : Parser Chars ascii M Z n := let convert s v := option_rect _ (fun _ => Z.opp) (fun x => x) s (Z.of_nat v) in Combinators.map (uncurry convert) (exact "-" <?&> decimal_nat).
imports: parseque(Category Sized NEList Combinators) Coq(Ascii) Coq(List) Coq(BinInt)