fact: Definition parse_item'_ext : forall (str : String) (str_matches_nonterminal str_matches_nonterminal' : nonterminal_carrierT -> _) (ext : forall s, str_matches_nonterminal s = str_matches_nonterminal' s) (offset : nat) (len : nat) (it : item Char), parse_item' str str_matches_nonterminal offset len it = parse_item' str str_matches_nonterminal' offset len it := parse_item'_ext.
imports: Coq.Classes.Morphisms Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.SimpleRecognizer Fiat.Parsers.GenericRecognizerExt