[m-rev.] Update solver types documentation.

[Ralph Becket]

Julien Fischer, Thursday,  2 December 2004:
> 
> > +A special inst, @code{any}, is commonly associated with solver types.  A
> > +variable with inst @code{any} means that that variable may not
> 
> I'm not sure I like the phrase "commonly associated" - it doesn't seem
> very precise.

How about replacing the first sentence with this:

"Variables with solver types can have one of three possible insts:
@code{free}, @code{ground} or @code{any}."
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------