docs: fix small typos (#28)

RedPRL · Feb 23, 2024 · 23b7b16 · 23b7b16
1 parent ede14c4
commit 23b7b16
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Mutex.mli b/src/Mutex.mli
@@ -12,7 +12,7 @@
 
      let _ = M.run @@ fun () ->
        M.exclusively @@ fun () ->
-       (* this raise M.Locked *)
+       (* this raises M.Locked *)
        M.exclusively @@ fun () ->
        100
    ]}

diff --git a/src/State.mli b/src/State.mli
@@ -13,7 +13,7 @@
 
 module type S =
 sig
-  (** Signatures of read effects. *)
+  (** Signatures of state effects. *)
 
   type state
   (** The type of states. *)