comparison src/cjr.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents d8217b4cb617
children acb8537f58f0
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
108 | DSequence of string 108 | DSequence of string
109 | DDatabase of {name : string, expunge : int, initialize : int} 109 | DDatabase of {name : string, expunge : int, initialize : int}
110 | DPreparedStatements of (string * int) list 110 | DPreparedStatements of (string * int) list
111 111
112 | DJavaScript of string 112 | DJavaScript of string
113 | DStyle of string * string list
113 114
114 withtype decl = decl' located 115 withtype decl = decl' located
115 116
116 datatype sidedness = 117 datatype sidedness =
117 ServerOnly 118 ServerOnly