blob: 7985d5fb4b76ad97f874911d23b7b3c832df3660 (
plain) (
tree)
|
|
-module(recursive_types2).
-export([test/0]).
-type tree() :: 'nil' | {non_neg_integer(), subtree(), subtree()}.
-type subtree() :: tree().
-spec test() -> {42, tree(), tree()}.
test() ->
{42, {42, nil, nil}, {42, {42, nil, nil}, {42, nil, nil}}}.
|