dialyzer_succ_typings
Functions
analyze_callgraph(Callgraph, Plt, Codeserver) -> term()
analyze_callgraph_only_dataflow(Callgraph, Plt, Codeserver) -> term()
analyze_callgraph_only_typesig(Callgraph, Plt, Codeserver) -> term()
get_warnings(Callgraph, Plt, DocPlt, Codeserver, NoWarnUnused, AnalysisType) -> term()
get_top_level_signatures(Code, Records) -> term()
get_top_level_signatures(Code, Records, Contracts) -> term()