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