[m-rev.] for review: map.m documentation improvements

[Peter Moulder]

On Tue, Aug 20, 2002 at 01:44:58PM +0200, Nancy Mazur wrote:
> > +	% Nondeterministically produce all the keys
> > +	% and corresponding values in a map.
> >  :- pred map__member(map(K,V), K, V).
> >  :- mode map__member(in, out, out) is nondet.
> 
> Not to be picky, but map__member does not produce _all_ the keys, simply
> _a_ key with its corresponding value. 

Suggest:

	% map__member(Map, Key, Value) is true iff Key is mapped to
	% Value in Map.

(or some other sentence containing `true iff' rather than an imperative
description).

pjm.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------