diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/Values.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/Values.ml b/compiler/Values.ml index 7d5ecc01..d4eff58a 100644 --- a/compiler/Values.ml +++ b/compiler/Values.ml @@ -939,6 +939,13 @@ type abs_kind = After we computed a fixed point, we give a unique region group identifier for each loop abstraction. *) + | Identity + (** An identity abstraction, which only consumes and provides shared + borrows/loans. + + We introduce them to abstract the context a bit, for instance + to compute fixed-points. + *) [@@deriving show, ord] (** Ancestor for {!abs} iter visitor *) |