blob: 7103847ae784bdbdcf8a7a2c5abe0b94b6e2a2de (
plain) (
blame)
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.
|
