From 689be3080315cd2695cc99e5e46adf1ea93403aa Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Fri, 3 Dec 2021 21:40:09 +0100
Subject: [PATCH] Update README with an implicit constraint

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index df4222cb..5b47779a 100644
--- a/README.md
+++ b/README.md
@@ -78,6 +78,12 @@ mandatory to follow under penalty of undefined behavior.
 'should' will be used to indicate a recommendation to the user.
 All pointers expect non-null argument except if indicated.
 
+A 'type' given to a macro shall be either
+an integer, a float, a boolean, a named structure,
+a pointer to such types,
+or a typedef alias of any C type.
+This is in order to than the tokens 'type variable' shall be a valid C expression.
+
 Components
 ----------