fact: Definition size_of_parse_item {str it} (p : parse_of_item G str it) : nat := @size_of_parse_item' (@size_of_parse) str it p.
imports: Coq.Strings.String Coq.Arith.Wf_nat Coq.Relations.Relation_Definitions Fiat.Parsers.ContextFreeGrammar.Core