From 5252fe93e5e7ef77888c06c97de4e350dce90448 Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Tue, 20 Feb 2024 12:48:36 +0100
Subject: nbe: quotation

---
 lib/Eval.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Eval.mli')

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