fact: Definition parse_of_item_respectful : forall {str1 str2} H {it it'} Hit p, _ := @parse_of_item_respectful' (@parse_of_respectful).
imports: Coq.Lists.List Coq.Arith.PeanoNat Fiat.Common Fiat.Common.UIP Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.Equality