From 0db8e292dc9a0e653eae8c2113859f41729faab3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 7 Feb 2022 10:39:47 +0100
Subject: Make more minor modifications

---
 fstar/Primitives.fst | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/fstar/Primitives.fst b/fstar/Primitives.fst
index dae73f46..6b1ec539 100644
--- a/fstar/Primitives.fst
+++ b/fstar/Primitives.fst
@@ -9,7 +9,9 @@ type result (a : Type0) : Type0 =
 | Return : a -> result a
 | Fail : result a
 
-// Monadic bind and return (allows us to use the monadic notations like `y <-- f x;`
+// Monadic bind and return.
+// Re-definining those allows us to customize the result of the monadic notations
+// like: `y <-- f x;`
 let return (#a : Type0) (x:a) : result a = Return x
 let bind (#a #b : Type0) (m : result a) (f : a -> result b) : result b =
     match m with
-- 
cgit v1.2.3