From 7963e3ee84090b96308eebc68ee20532ea85c532 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 30 Nov 2021 20:59:30 +0100
Subject: Introduce [binder] and use them in place of [var] in the environments

---
 src/Values.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index 330f22d3..c7a79eae 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -17,6 +17,7 @@ module AbstractionId = IdGen ()
 
 module RegionId = IdGen ()
 
+(* TODO: move *)
 type var = {
   index : VarId.id;  (** Unique variable identifier *)
   name : string option;
@@ -26,6 +27,7 @@ type var = {
           function definitions *)
 }
 [@@deriving show]
+(** A variable, as used in a type definition *)
 
 (** A variable *)
 
-- 
cgit v1.2.3