diff options
Diffstat (limited to 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2.lem b/language/l2.lem index 32b6f1c7..2fd685f4 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -484,6 +484,7 @@ type t = (* Internal types *) | T_fn of t * t * effect | T_tup of list t | T_app of id * t_args + | T_abbrev of t * t and t_arg = (* Argument to type constructors *) | T_arg_typ of t |