let export_item fmt name item = Fol_pretty.fpp_item export_pred export_tau fmt name item