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

Michelson: Update documentation

Browse Source
This commit is contained in:
Pierre Chambart 2018-07-19 01:33:18 +02:00 committed by Grégoire Henry
parent 74b7ca2c77
commit 46f9f65b6a
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/whitedoc/michelson.rst
View File

@ -786,6 +786,10 @@ is, concatenate or splice them, and use them as keys.
:: ::
:: string : string : 'S -> string : 'S
> CONCAT / s : t : S => (s ^ t) : S
:: string list : 'S -> string : 'S :: string list : 'S -> string : 'S
> CONCAT / {} : S => "" : S > CONCAT / {} : S => "" : S
@ -1487,6 +1491,10 @@ the wild and untyped outside world.
:: ::
:: bytes : bytes : 'S -> bytes : 'S
> CONCAT / s : t : S => (s ^ t) : S
:: bytes list : 'S -> bytes : 'S :: bytes list : 'S -> bytes : 'S
> CONCAT / {} : S => 0x : S > CONCAT / {} : S => 0x : S