ŹR
Если добавить вызов сразу начинает:
defmodule Foo do
@spec foo(a :: integer()) :: integer()
def foo(a), do: inc(a)
@spec inc(a :: integer() | nil) :: integer() | nil
def inc(nil), do: nil
def inc(a), do: {a + 1, a + 2}
end
И ты не правильно написал спеку