From 35ef1827a216a1deb6d15f916ff197b0c75bc83e Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 3 Feb 2024 17:41:28 +0100
Subject: Updated the interface for default expression analyzer

---
 lib/syntax/default.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/syntax/default.ml')

diff --git a/lib/syntax/default.ml b/lib/syntax/default.ml
index 9e9a8ef..d345401 100644
--- a/lib/syntax/default.ml
+++ b/lib/syntax/default.ml
@@ -17,6 +17,8 @@ module Expression (T' : T) = struct
       If missing, the index should be considered as [0].
    *)
 
+  type t' = T'.t
+
   let ident : (S.pos, T'.t) S.variable -> T'.t = fun _ -> T'.default
 
   (*
-- 
cgit v1.2.3