let export_decl fmt d = Pretty_utils.pp_trail fpp_header fmt d ; Format.pp_print_newline fmt () ; fpp_item export_pred export_tau export_term fmt d.d_name d.d_item