From 1344e69934719c7c63f824e2fc7668c618c9a5ea Mon Sep 17 00:00:00 2001
From: Benjamin Canou <benjamin@canou.fr>
Date: Fri, 20 Oct 2017 10:08:28 +0200
Subject: [PATCH] Michelson: Add documentation for SIZE on lists

---
 src/proto/alpha/docs/language.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/proto/alpha/docs/language.md b/src/proto/alpha/docs/language.md
index 22296049d..28c338515 100644
--- 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
 -------------------------------