From 662cc6a8ee882aa9a9336728dd4b810e1353e819 Mon Sep 17 00:00:00 2001 From: Zhenya Roubinchtein Date: Sun, 20 Aug 2017 22:01:27 -0400 Subject: [PATCH] Michelson: small documentation fix-up. --- src/proto/alpha/docs/language.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/proto/alpha/docs/language.md b/src/proto/alpha/docs/language.md index 7216b6680..54d14b0d7 100644 --- a/src/proto/alpha/docs/language.md +++ b/src/proto/alpha/docs/language.md @@ -822,15 +822,15 @@ constants as is, concatenate them and use them as keys. > NONE ; C / v :: S => C / None :: S - * `IF_SOME bt bf`: + * `IF_NONE bt bf`: Inspect an optional value. :: 'a? : 'S -> 'b : 'S - iff bt :: [ 'a : 'S -> 'b : 'S] - bf :: [ 'S -> 'b : 'S] + iff bt :: [ 'S -> 'b : 'S] + bf :: [ 'a : 'S -> 'b : 'S] - > IF_SOME ; C / (Some a) : S => bt ; C / a : S - > IF_SOME ; C / (None) : S => bf ; C / S + > IF_NONE ; C / (None) : S => bt ; C / S + > IF_NONE ; C / (Some a) : S => bf ; C / a : S ### Operations on unions