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/Domain.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib/Domain.ml')

diff --git a/lib/Domain.ml b/lib/Domain.ml
index cf07a4b..88560c2 100644
--- a/lib/Domain.ml
+++ b/lib/Domain.ml
@@ -25,3 +25,7 @@ and frame =
 
 and env = value bwd
 and clos = Clos of { body : Syntax.tm; env : env }
+
+type cell = { tm : value; tp : value }
+
+let var i = Neutral (Var i, Bwd.Emp)
-- 
cgit 1.4.1