From 9eedddbf93049ed06734a265811bec87b865621d Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Tue, 14 Jan 2025 10:52:52 +0100
Subject: [PATCH] [Kernel] Some details in comments
---
src/libraries/monads/monad.mli | 4 ++--
src/libraries/monads/state_monad.ml | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/libraries/monads/monad.mli b/src/libraries/monads/monad.mli
index a871fa7343..7fd24d0948 100644
--- a/src/libraries/monads/monad.mli
+++ b/src/libraries/monads/monad.mli
@@ -20,8 +20,8 @@
(* *)
(**************************************************************************)
-(** This module provides a generic monad interface based on Keisli and Categoric
- defintion of monads. *)
+(** This module provides a generic monad interface based on Keisli and
+ Categoric definitions of monads. *)
(** {2 Kleisli triple signature for a monadic type constructor ['a t]}
diff --git a/src/libraries/monads/state_monad.ml b/src/libraries/monads/state_monad.ml
index 5747f0e865..30dc807702 100644
--- a/src/libraries/monads/state_monad.ml
+++ b/src/libraries/monads/state_monad.ml
@@ -18,7 +18,7 @@
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
-(*************************************************************************)
+(**************************************************************************)
module Make (Env : Datatype.S_with_collections) = struct
--
GitLab