[m-rev.] for review: map.m documentation improvements
Peter Moulder
pmoulder at csse.monash.edu.au
Wed Aug 21 12:40:23 AEST 2002
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
--------------------------------------------------------------------------
More information about the reviews
mailing list