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