method vspec funspec = Jessie_options.feedback "%a" !Ast_printer.d_funspec funspec; visitor#vspec funspec