From 88c40d702a40ff4cc7c5b3e55d4bb3bb04a165e5 Mon Sep 17 00:00:00 2001
From: Christian Zimmermann <christian.zimmermann@ur.de>
Date: Fri, 26 Jul 2024 18:47:13 +0200
Subject: [PATCH] statc_index_id

---
 src/include/xpr/index_id.h | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/src/include/xpr/index_id.h b/src/include/xpr/index_id.h
index 3cc7ae0..1816585 100644
--- a/src/include/xpr/index_id.h
+++ b/src/include/xpr/index_id.h
@@ -37,6 +37,19 @@ namespace CNORXZ
 	template <SizeT J>
 	constexpr decltype(auto) operator!=(const IndexId<J>& a) const;
     };
+
+    template <class T>
+    struct static_index_id
+    {
+	static constexpr SizeT value = 0;
+    };
+
+    template <SizeT I>
+    struct static_index_id<IndexId<I>>
+    {
+	static constexpr SizeT value = I;
+    };
+    
 }
 
 #endif