comparison src/cjr_env.sml @ 1073:b2311dfb3158

Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents 81fce435e255
children 0657e5adc938
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
169 | DDatabase _ => env 169 | DDatabase _ => env
170 | DPreparedStatements _ => env 170 | DPreparedStatements _ => env
171 | DJavaScript _ => env 171 | DJavaScript _ => env
172 | DCookie _ => env 172 | DCookie _ => env
173 | DStyle _ => env 173 | DStyle _ => env
174 | DInitializer _ => env
174 175
175 end 176 end