dialyzer_typesig

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)