[erlang-patches] syntax_tools: Fix an erroneous type and strengthen some specs

[Björn Gustavsson]

2010/10/26 Kostis Sagonas <kostis@REDACTED>:
> The declaration of the stubDescriptop() type in 'igor' was erroneous,
> both in the -type and in the published documentation of the module.
>
> While fixing this some specs where strengthened and used a remote
> type to refer to ordsets:ordset(T). Consequently, this patch depends
> on the ordsets module exporting the ordset/1 type.
>

Because of this dependency, I have put this commit on
the same branch as the commit that exports the ordset/1 type.
I also put the other commits that strengthen specs
onto the same branch (still as separate commits).

-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB