From 7d384d1b7d8ba324d313bc0214c052d35fb51706 Mon Sep 17 00:00:00 2001
From: Basile Pesin <basile.pesin@gmail.com>
Date: Wed, 10 Jul 2019 15:21:39 +0200
Subject: [PATCH] Corrected the documentation about IF_LEFT, IF_CONS, IF_NONE,
 ...

---
 docs/whitedoc/michelson.rst | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst
index 25327a3e4f0b..19cf818c010e 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -1073,9 +1073,9 @@ Operations on optional values
 
 ::
 
-    :: option 'a : 'S   ->   'b : 'S
-       iff   bt :: [ 'S -> 'b : 'S]
-             bf :: [ 'a : 'S -> 'b : 'S]
+    :: option 'a : 'A   ->   'B
+       iff   bt :: [ 'A -> 'B]
+             bf :: [ 'a : 'A -> 'B]
 
     > IF_NONE bt bf / (None) : S  =>  bt / S
     > IF_NONE bt bf / (Some a) : S  =>  bf / a : S
@@ -1103,9 +1103,9 @@ Operations on unions
 
 ::
 
-    :: or 'a 'b : 'S   ->   'c : 'S
-       iff   bt :: [ 'a : 'S -> 'c : 'S]
-             bf :: [ 'b : 'S -> 'c : 'S]
+    :: or 'a 'b : 'A   ->   'B
+       iff   bt :: [ 'a : 'A -> 'B]
+             bf :: [ 'b : 'A -> 'B]
 
     > IF_LEFT bt bf / (Left a) : S  =>  bt / a : S
     > IF_LEFT bt bf / (Right b) : S  =>  bf / b : S
@@ -1114,9 +1114,9 @@ Operations on unions
 
 ::
 
-    :: or 'a 'b : 'S   ->   'c : 'S
-       iff   bt :: [ 'b : 'S -> 'c : 'S]
-             bf :: [ 'a : 'S -> 'c : 'S]
+    :: or 'a 'b : 'A   ->   'B
+       iff   bt :: [ 'b : 'A -> 'B]
+             bf :: [ 'a : 'A -> 'B]
 
     > IF_RIGHT bt bf / (Right b) : S  =>  bt / b : S
     > IF_RIGHT bt bf / (Left a) : S  =>  bf / a : S
@@ -1144,9 +1144,9 @@ Operations on lists
 
 ::
 
-    :: list 'a : 'S   ->   'b : 'S
-       iff   bt :: [ 'a : list 'a : 'S -> 'b : 'S]
-             bf :: [ 'S -> 'b : 'S]
+    :: list 'a : 'A   ->   'B
+       iff   bt :: [ 'a : list 'a : 'A -> 'B]
+             bf :: [ 'A -> 'B]
 
     > IF_CONS bt bf / { a ; <rest> } : S  =>  bt / a : { <rest> } : S
     > IF_CONS bt bf / {} : S  =>  bf / S
@@ -1730,9 +1730,9 @@ A typing rule can be inferred:
 
 ::
 
-    :: option 'a : 'S   ->   'b : 'S
-       iff   bt :: [ 'a : 'S -> 'b : 'S]
-             bf :: [ 'S -> 'b : 'S]
+    :: option 'a : 'A   ->   'B
+       iff   bt :: [ 'a : 'A -> 'B]
+             bf :: [ 'A -> 'B]
 
     > IF_SOME / (Some a) : S  =>  bt / a : S
     > IF_SOME / (None) : S  =>  bf / S
-- 
GitLab