fact: Definition syntactify_rchar_expr_ascii (v : Reflective.RCharExpr ascii) : Term var crchar_expr_ascii := RLiteralApp (Rrchar_expr_ascii v) noargs.
imports: Coq.Strings.String Coq.Strings.Ascii Fiat.Parsers.Reflective.Syntax