From ad4c07442cc89c68e0f9eb089d647d64077786bc Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz <aymeric.fromherz@inria.fr>
Date: Fri, 17 Jan 2025 15:44:01 +0100
Subject: [PATCH] Add uint8 helper

---
 lib/Helpers.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/Helpers.ml b/lib/Helpers.ml
index acf1cdc8..5647d8f6 100644
--- a/lib/Helpers.ml
+++ b/lib/Helpers.ml
@@ -27,6 +27,7 @@ end
 
 (* Creating AST nodes *********************************************************)
 
+let uint8 = TInt K.UInt8
 let uint32 = TInt K.UInt32
 let usize = TInt K.SizeT