[m-dev.] Re: univ and functor/arg

[Peter Schachte]

> However, if you think of `univ' as conceptually defined
> by
> 
> 	:- type univ == some [T] T.

For the clueless among us, can you briefly explain what the type

	some [T] T 

means?

-Peter Schachte      URL:  http://www.cs.mu.oz.au/~pets/
pets at cs.mu.OZ.AU     PGP:  finger pets at 128.250.37.150 for key
    [A computer is] like an Old Testament god, with a lot of rules
    and no mercy.  -- Joseph Campbell