dialyzer_dataflow
Functions
get_warnings(Tree::core_module(), Dialyzer_plt::#dialyzer_plt{}, Dialyzer_callgraph::#dialyzer_callgraph{}, Records::dict(), NoWarnUnused::set()) -> {[dial_warning()], dict()}
get_fun_types(Tree::core_module(), Dialyzer_plt::#dialyzer_plt{}, Dialyzer_callgraph::#dialyzer_callgraph{}, Records::dict()) -> dict()
get_top_level_signatures(Code::any(), Records::dict()) -> [{{atom(), byte()}, erl_type()}]