dialyzer_typesig

(dialyzer)

DATA TYPES

label() = non_neg_integer()
solver() = v1 | v2
typesig_scc() = [{mfa(), {c_var() (see module cerl), c_fun() (see module cerl)}, dict()}]

Functions

analyze_scc(SCC::typesig_scc(), NextLabel::label(), CallGraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), PropTypes::dict(), Solvers0::[solver()]) -> dict()

get_safe_underapprox(Pats::[c_values() (see module cerl)], Guard::cerl() (see module cerl)) -> erl_type() (see module erl_types)