From d658ff64adc746523568577668ce80034071d963 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 5 Jan 2022 10:17:29 +0100
Subject: Update some comments

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

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index a0bd96c5..0239da5e 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -56,6 +56,10 @@ type symbolic_value = { sv_id : SymbolicValueId.id; sv_ty : rty }
     We need to make this clear and more consistant.
     So [symbolic_value] is actually a projector. TODO: rename to [symbolic_proj].
     The kind of projector will then depend on the context.
+    Actually, maybe we shouldn't use this type. Or for abstractions we should
+    use different types. Something like:
+    - [proj_borrows] for values
+    - [aproj_loans], [aproj_borrows] for avalues
   *)
 
 (** TODO: make it clear that complementary projectors are projectors on borrows.
-- 
cgit v1.2.3