(* HCoop Domtool (http://hcoop.sourceforge.net/)
- * Copyright (c) 2006, Adam Chlipala
+ * Copyright (c) 2006-2007, Adam Chlipala
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
DExternType of string
| DExternVal of string * typ
| DVal of string * typ option * exp
+ | DEnv of string * typ option * exp
| DContext of string
type decl = decl' * string option * position