deftype & type - Where are they documented?

[Chris Pressey]

On Thu, 21 Nov 2002 12:24:00 -0800 (PST)
isaac gouy <igouy@REDACTED> wrote:

> +deftype continuation(T) = {} | {T,
> fun(T,continuation(T)) -> continuation(T)}.
> 
> +type seq(int(),int()) -> continuation(int()).
> 
> 
> I haven't figured out where deftype or type are
> mentioned in the Erlang documentation or book. Where
> can I find out about this?

They're part of the Specification Web type system, seperate from Erlang
itself.  It seems to be documented at:

http://www.ericsson.com/cslab/~thomas/specweb.html

but I don't know if it's up to date...

-Chris