1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
-module(para2_adt).
%% More parameterized opaque types
-export_type([c1/0, c2/0]).
-export_type([ct1/0, ct2/0]).
-export_type([circ/1, circ/2]).
-export_type([un/2]).
-export([c1/0, c2/0, ct1/0, ct2/0, circ1/0, circ2/0, u1/0, u2/0]).
-opaque c1() :: c2().
-opaque c2() :: c1().
-spec c1() -> c1().
c1() ->
a.
-spec c2() -> c2().
c2() ->
a.
-type ct1() :: ct2().
-type ct2() :: ct1().
-spec ct1() -> ct1().
ct1() ->
a.
-spec ct2() -> ct2().
ct2() ->
b.
-opaque circ(A) :: circ(A, A).
-opaque circ(A, B) :: circ({A, B}).
-spec circ1() -> circ(integer()).
circ1() ->
3.
-spec circ2() -> circ(integer(), integer()).
circ2() ->
{3, 3}.
-opaque un(A, B) :: A | B.
-spec u1() -> un(integer(), atom()).
u1() ->
3.
-spec u2() -> un(atom(), integer()).
u2() ->
3.
|
