let export_decl fmt d =
  Pretty_utils.pp_trail Fol_pretty.fpp_header fmt d ;
  Format.pp_print_newline fmt () ;
  export_item fmt d.Formula.d_name d.Formula.d_item