API Reference dialyzer v5.2

Modules

Dialyzer, a DIscrepancy AnaLYZer for ERlang programs.