[m-rev.] trivial diff: minor fixes for store documentation

[Julien Fischer]

Estimated hours taken: 0
Branches: main, release

library/store.m:
 	Minor documentation fixes.

Julien.

Index: store.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/store.m,v
retrieving revision 1.59
diff -u -r1.59 store.m
--- store.m	19 Apr 2006 05:17:57 -0000	1.59
+++ store.m	20 Oct 2006 05:53:01 -0000
@@ -44,16 +44,17 @@
  :- instance store(io.state).
  :- instance store(store(S)).

-    % initialize a new store
+    % Initialize a new store.
+    %
  :- some [S] pred store.new(store(S)::uo) is det.

  %-----------------------------------------------------------------------------%
  %
-% mutvars
+% Mutvars
  %

      % generic_mutvar(T, S):
-    % a mutable variable holding a value of type T in store S
+    % A mutable variable holding a value of type T in store S.
      %
  :- type generic_mutvar(T, S).
  :- type io_mutvar(T) == generic_mutvar(T, io.state).

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