typer(1) Erlang Module Definition typer(1) (NAME) typer - (DESCRIPTION) TypEr (type) (Erlang) . (annotate) . TypEr (Using TypEr) TypEr . . : typer --help : typer [--help] [--version] [--plt PLT] [--edoc] [--show | --show-exported | --annotate | --annotate-inc-files | --annotate-in-place] [-Ddefine]* [-I include_dir]* [-pa dir]* [-pz dir]* [-T application]* file* [-r directory*] : * . : -r .erl . . --show (stdout). ( .) --show-exported (or show_exported) --show (exported) . . --annotate . --annotate-inc-files --annotate -include() .erl . ( -- .) --annotate-in-place . ( -- .) --edoc @spec Edoc . --plt PLT (Dialyzer) . -T file* () . ( .) -Dname (or -Dname=value) () TypEr. (**) -I include_dir TypEr. (**) -pa dir dir (path) . -include_lib() (parse transforms) . -pz dir dir (path) . -include_lib() (parse transforms) . --version (or -v) TypEr . : ** -D -I erlc . Ericsson AB dialyzer 6.0.2 typer(1)