let fpp_decl term predicate  tau_of_ctype_logic fmt d =
  begin
    fpp_header fmt d ;
    Format.pp_print_newline fmt () ;
    fpp_item term predicate tau_of_ctype_logic fmt d.Formula.d_name d.Formula.d_item ;
    Format.pp_print_newline fmt () ;
  end