%% %% Search data file for dialyzer 2.4.3 %% generated July 21 2011 %% {"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"]}.