From 407a2a4a0a440c41adc19fbe8b67283b7b7c65ab Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Mon, 19 Feb 2024 12:57:26 +0100
Subject: core syntax, semantic domain, evaluation

---
 lib/Ast.ml | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'lib/Ast.ml')

diff --git a/lib/Ast.ml b/lib/Ast.ml
index f7c90dd..d26cc0f 100644
--- a/lib/Ast.ml
+++ b/lib/Ast.ml
@@ -6,6 +6,14 @@ and arg = raw_arg Asai.Range.located
 
 and raw_expr =
   | Var of raw_ident
+  | Pi of arg * expr
+  | Lam of ident * expr
+  | App of expr * expr
+  | Sg of arg * expr
+  | Pair of expr * expr
+  | Fst of expr
+  | Snd of expr
+  | Type
   | Bool
   | True
   | False
@@ -16,14 +24,6 @@ and raw_expr =
       false_case : expr;
       scrut : expr;
     }
-  | Pi of arg * expr
-  | Lam of ident * expr
-  | App of expr * expr
-  | Sg of arg * expr
-  | Pair of expr * expr
-  | Fst of expr
-  | Snd of expr
-  | Type
 
 and expr = raw_expr Asai.Range.located
 
-- 
cgit 1.4.1