aboutsummaryrefslogtreecommitdiff
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