diff options
| author | Son Ho | 2022-01-13 21:24:58 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-13 21:24:58 +0100 |
| commit | e9c3dfc34d7cac0d2449b4d11db5adf7218b25db (patch) | |
| tree | ac838adf50a7051918a9d2169f139b03bde14173 /src/Values.ml | |
| parent | 01cde7e6ddc047c2ea13365a67555ed1defbe1e4 (diff) | |
Introduce ended borrow/loan projectors over symbolic values
Diffstat (limited to '')
| -rw-r--r-- | src/Values.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml index e8d4560e..41d8bd85 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -186,6 +186,8 @@ type aproj = | AProjBorrows of symbolic_value * rty (** Note that an AProjBorrows only operates on a value which is not below a shared loan: under a shared loan, we use [abstract_shared_borrow]. *) + | AEndedProjLoans + | AEndedProjBorrows [@@deriving show] type region = RegionVarId.id Types.region [@@deriving show] |