fact: Definition expect (t : token) : parser unit := firstExpect t (fun xs => SomeE (tt, xs)).
imports: Coq(Strings.String) Coq(Strings.Ascii) Coq(Arith.Arith) Coq(Init.Nat) Coq(Arith.EqNat) Coq(Lists.List) LF(Maps Imp)