dialyzer_dataflow
Functions
get_warnings(Tree, Plt, Callgraph, Records, NoWarnUnused) -> term()
get_fun_types(Tree, Plt, Callgraph, Records) -> term()
get_top_level_signatures(Code, Records) -> term()
doit(Module, Opts) -> term()
annotate_module(Code, Plt) -> term()