From 5a144044d14bb6d255883c7b4500e49faabf5ec5 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 25 Jan 2022 16:51:29 +0100
Subject: Start working on translate_end_abstraction

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

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index bccb5134..a905c8d3 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -722,10 +722,12 @@ and typed_avalue = { value : avalue; ty : rty }
 (** The kind of an abstraction, which keeps track of its origin *)
 type abs_kind =
   | FunCall  (** The abstraction was introduced because of a function call *)
-  | Synth
-      (** The abstraction is used to keep track of the input/return value of
-       the function we are currently synthesizing.
-    *)
+  | SynthInput
+      (** The abstraction keeps track of the input values of the function
+          we are currently synthesizing. *)
+  | SynthRet
+      (** The abstraction "absorbed" the value returned by the function we
+          are currently synthesizing *)
 [@@deriving show]
 
 type abs = {
-- 
cgit v1.2.3