Michelson: Add documentation for SIZE on lists

2017-10-20 10:08:28 +02:00 · 2017-10-20 10:08:28 +02:00 · 1344e69934
commit 1344e69934
parent 26c9047349
1 changed files with 5 additions and 0 deletions
--- a/src/proto/alpha/docs/language.md
+++ b/src/proto/alpha/docs/language.md
@ -889,6 +889,11 @@ constants as is, concatenate them and use them as keys.

        :: lambda (pair 'a 'b) 'b : list 'a : 'b : 'S -> 'b : 'S

+   * `SIZE`:
+     Get the number of elements in the list.
+
+        :: list 'elt : 'S -> nat : 'S
+

 VI - Domain specific data types
 -------------------------------