diff options
author | Jason Gross <jgross@mit.edu> | 2016-11-15 18:18:38 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-11-16 14:35:53 -0500 |
commit | ee177f98cf26203979c41d86609d8d619c3d9d9a (patch) | |
tree | e58f518aa81d0d97be018f95a617e8299d8e8922 /src/Reflection/Syntax.v | |
parent | 177549536bf5572f1eed0770220fd29b0bc721ea (diff) |
Arguments for Un{Return,Abs}
Diffstat (limited to 'src/Reflection/Syntax.v')
-rw-r--r-- | src/Reflection/Syntax.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Reflection/Syntax.v b/src/Reflection/Syntax.v index b70f939ae..9281fb40d 100644 --- a/src/Reflection/Syntax.v +++ b/src/Reflection/Syntax.v @@ -402,6 +402,8 @@ Global Arguments LetIn {_ _ _ _ _} _ {_} _. Global Arguments Pair {_ _ _ _ _} _ {_} _. Global Arguments Return {_ _ _ _ _} _. Global Arguments Abs {_ _ _ _ _ _} _. +Global Arguments UnReturn {_ _ _ _ _} _. +Global Arguments UnAbs {_ _ _ _ _ _} _. Global Arguments flat_interp_tuple' {_ _ _ _} _. Global Arguments flat_interp_tuple {_ _ _ _} _. Global Arguments flat_interp_untuple' {_ _ _ _} _. |