Specs

In Tele we can specify types for our functions using specs.

For example:

fun add(a, b): a + b

We can add a spec for it like this:

spec add(integer, integer): integer
fun add(a, b): a + b

This means it takes two arguments of type integer and returns an integer.

After writing specs for your functions you can use dialyzer to check them for you.

tele build
rebar3 dialyzer