dialyzer_typesig

Functions

analyze_scc(SCC, NextLabel, CallGraph, Plt) -> term()

analyze_scc_get_all_fun_types(SCC, NextLabel, CallGraph, Plt, PropTypes) -> term()

get_safe_underapprox(Pats, Guard) -> term()

View Functions