fact: Definition many {T} (p : parser T) (steps : nat) : parser (list T) := many_helper p [] steps.
imports: Coq(Strings.String) Coq(Strings.Ascii) Coq(Arith.Arith) Coq(Init.Nat) Coq(Arith.EqNat) Coq(Lists.List) LF(Maps Imp)