Changes before announcement to hcoop-discuss

[hcoop/domtool2.git] / src / ast.sml

diff --git a/src/ast.sml b/src/ast.sml
index 667a26c..7a9fe25 100644 (file)
--- a/src/ast.sml
+++ b/src/ast.sml
@@ -89,6 +89,8 @@ datatype exp' =
        * action are abandoned *)
        | EWith of exp * exp
        (* Apply a TNested to an action *)
+       | EALam of string * pred * exp
+       (* Abstraction for building TNested values *)
 withtype exp = exp' * position
 
 datatype decl' =