balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Michelson: small documentation fix-up.

Browse Source
This commit is contained in:
Zhenya Roubinchtein 2017-08-20 22:01:27 -04:00 committed by Grégoire Henry
parent 04ce0c1f5d
commit 662cc6a8ee
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/proto/alpha/docs/language.md
View File

@ -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