DIALYZER(3ERL) - Linux manual page online | Library functions

Dialyzer, a DIscrepancy AnaLYZer for ERlang programs.