API Reference dialyzer v#5.4

Modules

Dialyzer is a DIscrepancy AnaLYZer for ERlang programs.