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