about summary refs log tree commit diff
path: root/src/ast
diff options
context:
space:
mode:
Diffstat (limited to 'src/ast')
-rw-r--r--src/ast/Ast.ml9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/ast/Ast.ml b/src/ast/Ast.ml
index 3a6fac6..974409f 100644
--- a/src/ast/Ast.ml
+++ b/src/ast/Ast.ml
@@ -29,6 +29,15 @@ and raw_expr =
 
 and expr = raw_expr Asai.Range.located
 
+type item =
+  | Def of {
+      name : ident;
+      tp : expr;
+      tm : expr;
+    }
+
+type file = item List.t
+
 let dump_ident fmt ({ value; _ } : ident) = Ident.pp fmt value
 
 let dump_local_name fmt ({ value; _ } : local_name) = match value with