diff options
author | Son Ho | 2022-01-27 12:03:39 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 12:03:39 +0100 |
commit | 6294dfefd25b4861b78f2ab113db8b2e8f3bcd26 (patch) | |
tree | 221f4771629dbc1441b546f5e31c42836908b4e4 /src/Pure.ml | |
parent | b2d5671516b60ae83778b26867a8e5b6060f519d (diff) |
Start working on PrintPure.ml
Diffstat (limited to 'src/Pure.ml')
-rw-r--r-- | src/Pure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index fc00095f..ba763767 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -20,7 +20,7 @@ module VarId = IdGen () type ty = | Adt of T.type_id * ty list - (** [Adt] encodes ADTs, tuples and assumed types. + (** [Adt] encodes ADTs and tuples and assumed types. TODO: what about the ended regions? (ADTs may be parameterized with several region variables. When giving back an ADT value, we may |