[erlang-questions] Abstract Form for -type and -spec

Mariano Guerra <>
Fri Nov 5 02:18:34 CET 2010

On Tue, Oct 26, 2010 at 12:50 AM, Alisdair Sullivan
<> wrote:
> Is the abstract form for type and spec attributes (as returned by, for example, epp:parse_file/3) documented anywhere? What meaning does the list in the third position in -type specs have? Is it ever not an empty list?

this type:

-type ordset(X)  :: [X].

generates this ast:


that was the only type I could find in more than 600 type declarations
taken from erlang otp:


hope that helps

More information about the erlang-questions mailing list