fact: Definition split_string_for_production_flip str (n : production_carrierT) := @split_string_for_production _ _ _ _ n str.
imports: Fiat.Parsers.ContextFreeGrammar.Reflective Fiat.Parsers.Reflective.Syntax Fiat.Parsers.Reflective.ParserSyntax Fiat.Parsers.Reflective.ParserSemantics Fiat.Parsers.Reflective.Reify Fiat.Parsers.BaseTypes Fiat.Parsers.ContextFreeGrammar.PreNotations