dialyzer_typesig

Types


label() = integer() >= 0

prop_types() = dict:dict(label(), types())

solver() = v1 | v2

typesig_scc() =
            [{mfa(), {cerl:c_var(), cerl:c_fun()}, types()}]

Functions


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)