comparison src/cjr_env.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents 162d5308e34f
children 4c5796512edc
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
165 | DTable _ => env 165 | DTable _ => env
166 | DSequence _ => env 166 | DSequence _ => env
167 | DDatabase _ => env 167 | DDatabase _ => env
168 | DPreparedStatements _ => env 168 | DPreparedStatements _ => env
169 | DJavaScript _ => env 169 | DJavaScript _ => env
170 170 | DStyle _ => env
171 171
172 end 172 end