diff options
Diffstat (limited to 'language/l2_typ.ott')
| -rw-r--r-- | language/l2_typ.ott | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2_typ.ott b/language/l2_typ.ott index 65857331..9d8a5a64 100644 --- a/language/l2_typ.ott +++ b/language/l2_typ.ott @@ -112,6 +112,7 @@ ne :: 'Ne_' ::= | ne :: :: nexp | effect :: :: effect | order :: :: order + | fresh :: M :: freshvar {{ lem T_arg (T_var "fresh") }} t_args :: '' ::= {{ lem list t_arg }} {{ com Arguments to type constructors }} |