blob: 92106e96946dbcb3ef7e5c5e0257f4a56c1d064c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-module(recursive_types7).
-export([test/0]).
-type tree() :: 'nil' | {non_neg_integer(), recursive_types7:tree(),
recursive_types7:tree()}.
-export_type([tree/0]).
-spec test() -> {42, tree(), tree()}.
test() ->
{42, {42, nil, nil}, {42, {42, nil, nil}, {42, nil, nil}}}.
|