X-Git-Url: http://git.hcoop.net/hcoop/zz_old/domtool2-proto.git/blobdiff_plain/d34f66392a3febf22123da547054581e289604ba..bf9b0bc36542aa822aa853d0c2644fb9ece1e44b:/src/ast.sml

diff --git a/src/ast.sml b/src/ast.sml
index 667a26c..7a9fe25 100644
--- 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' =