From 01c932290477381c55745801e2545bed759ad77b Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 22 Nov 2021 21:55:33 +0100
Subject: Add a comment

---
 src/Expressions.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/Expressions.ml b/src/Expressions.ml
index c0ee90a9..0246530b 100644
--- a/src/Expressions.ml
+++ b/src/Expressions.ml
@@ -4,6 +4,7 @@ open Values
 type field_proj_kind =
   | ProjAdt of TypeDefId.id * VariantId.id option
   | ProjTuple of int
+(* arity of the tuple *)
 
 type projection_elem =
   | Deref
-- 
cgit v1.2.3