dialyzer_plt
Functions
delete_module(Plt, Mod) -> term()
delete_list(Plt, T) -> term()
insert(Plt, Object) -> term()
lookup(Plt, MFA, Args) -> term()
lookup(Plt, MFA) -> term()
lookup_module(Plt, M) -> term()
from_file(Name, FileName) -> term()
merge_and_write_file(PltList, File) -> term()
merge_plts(Left) -> term()
check_init_plt(FileName) -> term()
contains_mfa(Plt, MFA) -> term()
to_edoc(PLT, M, F, A) -> term()
strip_non_member_mfas(Plt, Set) -> term()
pp_non_returning() -> term()