Introduce [binder] and use them in place of [var] in the environments

1 files changed, 2 insertions, 0 deletions

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 *)