blob: b4471e1cee4dbfac8bc89bafb070af9a5ea686bd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
%%---------------------------------------------------------------------------
%% Module that uses the opaque types of int_adt.
%% TODO: Should be extended with invalid contracts.
%%---------------------------------------------------------------------------
-module(int_use).
-export([test/0]).
-spec test() -> int_adt:int().
test() ->
int_adt:new_i().
|