fact: Definition syntactify_rproductions (Gp : list (string * Reflective.rproductions ascii)) : Term var _ := syntactify_list (List.map (fun xy => syntactify_prod (syntactify_string (fst xy), syntactify_list (List.map (fun ls => syntactify_list (List.map syntactify_ritem_ascii ls)) (snd xy)))) Gp).
imports: Coq.Strings.String Coq.Strings.Ascii Fiat.Parsers.Reflective.Syntax