DF
Size: a a a
DF
DF
VS
Module:init
и уйти на gen_statem:enter_loop
V
V
В
DZ
Module:init
и уйти на gen_statem:enter_loop
AB
AB
AB
DZ
AB
AB
AB
AB
AB
AB
AB
V
-spec function(tree_a(), ...) -> {ok, tree_a()} | {error, ...};Так чтобы диалайзер понял что я хочу чтобы первый параметр и возвращаемое значение было всегда одного и того же типа, даже если функция и определена для обоих tr
function(tree_b(), ...) -> {ok, tree_b()} | {error,...}.
ee_a() и tree_b() ?
V
-spec function(A, ...) -> {ok, A} | {error, ...} when A :: tree_a() | tree_b();