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