aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/src/simple/exact_adt.erl
blob: 7103847ae784bdbdcf8a7a2c5abe0b94b6e2a2de (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
















                                                       
-module(exact_adt).

-export([exact_adt_set_type/1, exact_adt_set_type2/1]).

-export_type([exact_adt/0]).

-record(exact_adt, {}).

-opaque exact_adt() :: #exact_adt{}.

-spec exact_adt_set_type(_) -> exact_adt().

exact_adt_set_type(G) -> G.

-spec exact_adt_set_type2(exact_adt()) -> exact_adt().

exact_adt_set_type2(G) -> G.