diff options
Diffstat (limited to '')
-rw-r--r-- | src/TypesUtils.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/TypesUtils.ml b/src/TypesUtils.ml index 8d0624ee..8088be7f 100644 --- a/src/TypesUtils.ml +++ b/src/TypesUtils.ml @@ -100,7 +100,7 @@ let rty_regions_intersect (ty : rty) (regions : RegionId.Set.t) : bool = let ty_regions = rty_regions ty in not (RegionId.Set.disjoint ty_regions regions) -(** Convert an [ety], containing no region variables, to an [rty] or [sty]. +(** Convert an [ety], containing no region variables, to an [rty] or an [sty]. In practice, it is the identity. *) |