fact: Definition plus_expr_pregrammar_with_actions : pregrammar_with_actions Ascii.ascii digits := [[[ "expr" ::== "pexpr" <{< id >}> || "pexpr" "+" "expr" <{< fun x _ y => x + y >}>;; "pexpr" ::== "number" <{< id >}> || "(" "expr" ")" <{< fun _ e _ => e >}>;; "number" ::== [0-9] <{< parseAscii_as_digits >}> || [0-9] "number" <{< fun x y => digit (parseAscii_as_nat x) y >}> ]]]%grammar_with_actions.
imports: Fiat.Parsers.ContextFreeGrammar.Notations