let rec export_term fmt t = Fol_pretty.fpp_term export_term export_data fmt t