From 231c65c04c511db3c8f7f68cd5d37cdeeedfe809 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sat, 15 Jan 2022 21:15:20 +0100
Subject: Use the new collections

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

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index 31f47709..59cfbdca 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -132,7 +132,7 @@ and borrow_content =
        *)
 
 and loan_content =
-  | SharedLoan of (BorrowId.set_t[@opaque]) * typed_value
+  | SharedLoan of (BorrowId.Set.t[@opaque]) * typed_value
   | MutLoan of (BorrowId.id[@opaque])
       (** TODO: we might want to add a set of borrow ids (useful for inactivated
           borrows, and extremely useful when giving shared values to abstractions).
@@ -322,7 +322,7 @@ and aloan_content =
           px -> mut_borrow l0 (mut_borrow @s1)
           ```
        *)
-  | ASharedLoan of (BorrowId.set_t[@opaque]) * typed_value * typed_avalue
+  | ASharedLoan of (BorrowId.Set.t[@opaque]) * typed_value * typed_avalue
       (** A shared loan owned by an abstraction.
 
           Example:
@@ -599,9 +599,9 @@ and typed_avalue = { value : avalue; ty : rty }
 
 type abs = {
   abs_id : (AbstractionId.id[@opaque]);
-  parents : (AbstractionId.set_t[@opaque]);  (** The parent abstractions *)
-  regions : (RegionId.set_t[@opaque]);  (** Regions owned by this abstraction *)
-  ancestors_regions : (RegionId.set_t[@opaque]);
+  parents : (AbstractionId.Set.t[@opaque]);  (** The parent abstractions *)
+  regions : (RegionId.Set.t[@opaque]);  (** Regions owned by this abstraction *)
+  ancestors_regions : (RegionId.Set.t[@opaque]);
       (** Union of the regions owned by this abstraction's ancestors (not
           including the regions of this abstraction itself) *)
   avalues : typed_avalue list;  (** The values in this abstraction *)
-- 
cgit v1.2.3