blob: 855a5d30bed519510f7bfaa70aa98f1562be3f6c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-module(same_type).
-export([t/2]).
-export_type([st/1]).
%% When unopaqued all specializations of st/1 are equal.
-opaque st(_A) :: {st, tuple()}.
-spec t(_, st(_)) -> _.
t(K, V) ->
{K, V}.
|