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
|
-module(para3_adt).
-export([t1/1]).
-export_type([t1/0, t1/1, t1/2, t1/3, t1/4, ot1/5]).
-export_type([exp1/1, exp2/0]).
-type t1() :: {t1(_)}.
-type t1(A) :: {t1(A, A)}.
-type t1(A, B) :: {t1(A, B, A)}.
-type t1(A, B, C) :: {t1(A, B, C, A)}.
-type t1(A, B, C, D) :: {ot1(A, B, C, D, A)}.
-opaque ot1(A, B, C, D, E) :: {A, B, C, D, E}.
-spec t1(_) -> t1().
t1(A) ->
{{{{{A, A, A, A, A}}}}}.
-opaque exp1(T) :: T.
-opaque exp2() :: integer().
|
