dialyzer_typesig
DATA TYPES
label() = non_neg_integer()
-
prop_types() = dict(label(), types()) (see module dict)
-
solver() = v1 | v2
-
types() = type_table() (see module erl_types)
-
typesig_scc() = [{mfa(), {c_var() (see module cerl), c_fun() (see module cerl)}, types()}]
-
analyze_scc(SCC::typesig_scc(), NextLabel::label(), CallGraph::callgraph() (see module dialyzer_callgraph), Plt::plt() (see module dialyzer_plt), PropTypes::prop_types(), Solvers0::[solver()]) -> prop_types()
get_safe_underapprox(Pats::[c_values() (see module cerl)], Guard::cerl() (see module cerl)) -> erl_type() (see module erl_types)