[m-rev.] trivial diff: extending comment on set.count/2

Ondrej Bojar bojar at csse.unimelb.edu.au
Wed Feb 7 09:37:07 AEDT 2007


Estimated hours taken: 0

Extending the comment of set.count/2 so that people can find it using 
different keywords.

set.m:
    Trivial change, added some keywords to the comment, so that people
    can find the predicate.

Index: library/set.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/set.m,v
retrieving revision 1.80
diff -u -r1.80 set.m
--- library/set.m	1 Dec 2006 15:04:37 -0000	1.80
+++ library/set.m	6 Feb 2007 22:31:03 -0000
@@ -221,6 +221,7 @@
  :- func set.difference(set(T), set(T)) = set(T).

      % `set.count(Set, Count)' is true iff `Set' has `Count' elements.
+    % i.e. `Count' is the cardinality (size) of the set.
      %
  :- pred set.count(set(T)::in, int::out) is det.
  :- func set.count(set(T)) = int.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list