blob: a62e0488e0bd585df5de810baf322aea9b39579c (
plain) (
blame)
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
|
-module(para5_adt).
-export([d1/0, d2/0, dd/0, da1/0, da2/0]).
-export_type([d/0, dd/1, da/2]).
-opaque d() :: 1 | 2.
-spec d1() -> d().
d1() ->
1.
-spec d2() -> d().
d2() ->
2.
-opaque dd(A) :: A.
-spec dd() -> dd(atom()).
dd() ->
foo:atom().
-opaque da(A, B) :: {A, B}.
-spec da1() -> da(any(), atom()).
da1() ->
{3, a}.
-spec da2() -> da(integer(), any()).
da2() ->
{3, a}.
|
