From 04d62df9fdd42c603fad7bb1b5e3fb49bf8550c1 Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Mon, 17 Jun 2024 17:41:38 +0200
Subject: implement typechecking

---
 lib/Eval.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/Eval.mli')

diff --git a/lib/Eval.mli b/lib/Eval.mli
index 24fa87d..63c49cf 100644
--- a/lib/Eval.mli
+++ b/lib/Eval.mli
@@ -1,2 +1,2 @@
-val eval : env:Domain.env -> Syntax.tm -> Domain.value
-val inst_clos : Domain.clos -> Domain.value -> Domain.value
+val eval : env:Domain.env -> Syntax.t -> Domain.t
+val inst_clo : Domain.clo -> Domain.t -> Domain.t
-- 
cgit 1.4.1