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