From 2bc6cae2458ba5f9573985791536618a00cbed8a Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Sun, 11 Feb 2024 18:21:52 +0100
Subject: init

---
 lib/Ast.ml | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 lib/Ast.ml

(limited to 'lib/Ast.ml')

diff --git a/lib/Ast.ml b/lib/Ast.ml
new file mode 100644
index 0000000..4ca7899
--- /dev/null
+++ b/lib/Ast.ml
@@ -0,0 +1,8 @@
+type expr' =
+  | Var of string
+| Bool
+| True
+| False
+| BoolElim of string
+
+type expr = expr' Asai.Range.located
\ No newline at end of file
-- 
cgit 1.4.1