fact: Definition pbh'_production := generic_pbh'_production (fun valid _ => valid).
imports: Coq.Strings.String Coq.Lists.List Coq.Classes.RelationPairs Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.Reachable.ParenBalanced.Core Fiat.Common Fiat.Common.Enumerable