dialyzer_codeserver
Functions
delete(Dialyzer_codeserver) -> term()
insert(List, Tag, CS) -> term()
insert_exports(List, CS) -> term()
is_exported(MFA, Dialyzer_codeserver) -> term()
all_exports(Dialyzer_codeserver) -> term()
lookup(Id, Tag, CS) -> term()
next_core_label(Dialyzer_codeserver) -> term()
update_next_core_label(NCL, CS) -> term()
store_records(Module, Dict, CS) -> term()
lookup_records(Module, Dialyzer_codeserver) -> term()
store_contracts(Module, Dict, CS) -> term()
lookup_contracts(Module, Dialyzer_codeserver) -> term()
lookup_contract(X1, Dialyzer_codeserver) -> term()