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