fact: Definition trivial_pregrammar : pregrammar' Char := {| pregrammar_productions := (""%string, nil::nil)::nil |}.
imports: Coq.Strings.String Coq.Lists.List Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.PreNotations