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

[Nancy Mazur]

* Fergus Henderson <fjh at cs.mu.OZ.AU> [2002-08-20 12:57]:
> Estimated hours taken: 0.25
> Branches: main
> 
> library/map.m:
> 	Add some documentation for map__member and map__set_from_assoc_list.
> 
> Workspace: /home/ceres/fjh/mercury
> Index: library/map.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/library/map.m,v
> retrieving revision 1.80
> diff -u -d -r1.80 map.m
> --- library/map.m	24 May 2001 02:32:28 -0000	1.80
> +++ library/map.m	20 Aug 2002 10:55:12 -0000
> @@ -45,6 +45,8 @@
>  :- pred map__contains(map(K,_V), K).
>  :- mode map__contains(in, in) is semidet.
>  
> +	% 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. 

Greetings, 
Nancy
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------