fact: Definition compile_nonterminal nt := List.first_index_default (string_beq nt) (List.length nonterminal_names) nonterminal_names.
imports: Coq.Strings.String Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.Carriers Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Common.List.Operations Fiat.Common.Equality