From 1d3f09952df9e961631ac689d9e7030f65c01470 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Tue, 23 Jan 2024 15:01:10 +0100
Subject: [PATCH] [Librairies] Adding a comment with the Ocaml manual for
further information
---
src/libraries/utils/option.mli | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/libraries/utils/option.mli b/src/libraries/utils/option.mli
index d489d49c632..0fa4d478691 100644
--- a/src/libraries/utils/option.mli
+++ b/src/libraries/utils/option.mli
@@ -20,6 +20,9 @@
(* *)
(**************************************************************************)
+(* Adding let binding operators to the Option module. See
+ https://v2.ocaml.org/manual/bindingops.html for more information. *)
+
include module type of Stdlib.Option
val zip : 'a option -> 'b option -> ('a * 'b) option
--
GitLab