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 ++++++++
 lib/dune   | 9 +++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 lib/Ast.ml
 create mode 100644 lib/dune

(limited to 'lib')

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
diff --git a/lib/dune b/lib/dune
new file mode 100644
index 0000000..a844074
--- /dev/null
+++ b/lib/dune
@@ -0,0 +1,9 @@
+(menhir
+ (flags --explain)
+ (modules Parser))
+
+; (ocamllex Lexer)
+
+(library
+ (name toytt)
+ (libraries asai))
-- 
cgit 1.4.1