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