deftype & type - Where are they documented?

[isaac gouy]

+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?

__________________________________________________
Do you Yahoo!?
Yahoo! Mail Plus – Powerful. Affordable. Sign up now.
http://mailplus.yahoo.com