blob: 657d11653b3afa5e93d4fbd6c666b1c1bcd9f4d1 (
plain) (
tree)
|
|
-module(recursive_types1).
-export([test/0]).
-type tree() :: 'nil' | {non_neg_integer(), tree(), tree()}.
-spec test() -> {42, tree(), tree()}.
test() ->
{42, {42, nil, nil}, {42, {42, nil, nil}, {42, nil, nil}}}.
|