%% %% Search data file for dialyzer 2.5.3 %% generated December 6 2012 %% {"dialyzer.html", {function, {"dialyzer", "dialyzer"}}, [ {"gui", "gui()", "gui-0"}, {"gui", "gui(OptList)", "gui-1"}, {"run", "run(OptList)", "run-1"}, {"format_warning", "format_warning(Msg)", "format_warning-1"}, {"plt_info", "plt_info(string())", "plt_info-1"} ]}. {"dialyzer.html", {module, "dialyzer"}, ["dialyzer"]}. {notused, application, ["dialyzer"]}.