fact: Definition testParsing {X : Type} (p : nat -> list token -> optionE (X * list token)) (s : string) := let t := tokenize s in p 100 t.
imports: Coq.Strings.String Coq.Strings.Ascii Coq.Arith.Arith Coq.Arith.EqNat Coq.Lists.List Maps Imp