summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test/small_SUITE_data/src/redefine_builtins/a.erl
blob: 274906d5546188646bc25e5a9f9f94ca427e46a0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
-module(a).
-export([vi/1, sum/2, vc/1]).

-spec vi(b:integer()) -> 'ok'.
vi(I) when is_integer(I) ->
    ok.

-spec sum(b:integer(), integer()) -> integer().
sum([A], B) ->
    A + B.

-spec vc(b:collection()) -> 'ok'.
vc({Int, List}) when length(List) =:= Int ->
    ok.