fact: Definition javascript_assignment_expression_pregrammar := Eval cbv [javascript_assignment_expression_pregrammar' append] in javascript_assignment_expression_pregrammar'.
imports: Fiat.Parsers.ContextFreeGrammar.Notations