Redirecting to https://www.erlang.org/documentation/doc-5.7.5/lib/dialyzer-2.2.0/doc/pdf/dialyzer-2.2.0.pdf