Binary package “erlang-typer” in ubuntu trusty

Erlang/OTP code type annotator

 TypEr is a tool that displays and automatically inserts type annotations
 in Erlang code. It uses Dialyzer to infer variable types.