fact: Definition Forall_parse_of_item {str it} (p : parse_of_item G str it) := @Forall_parse_of_item' (@Forall_parse_of) str it p.
imports: Coq.Lists.List Coq.Arith.PeanoNat Fiat.Common Fiat.Common.UIP Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.Equality