From 1e10c84e8205a848c58ba30eb67b04e1c260de35 Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@dfinity.org>
Date: Thu, 27 Jan 2022 08:44:12 +0100
Subject: [PATCH] [spec] Add note regarding parameter names

---
 document/core/text/types.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/document/core/text/types.rst b/document/core/text/types.rst
index 5e63b7c9ca..7705cc575e 100644
--- a/document/core/text/types.rst
+++ b/document/core/text/types.rst
@@ -93,6 +93,10 @@ Function Types
        &\Rightarrow& t \\
    \end{array}
 
+.. note::
+   The optional identifier names for parameters in a function type only have documentation purpose.
+   They cannot be referenced from anywhere.
+
 
 Abbreviations
 .............