Mercurial > urweb

comparison src/source.sml @ 459:f542bc3133dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents 86c063fedc4d
children d34834af4512
comparison
equal deleted inserted replaced
458:8f65b0fa3b29 459:f542bc3133dc
83 | SgiConstraint of con * con 83 | SgiConstraint of con * con
84 | SgiTable of string * con 84 | SgiTable of string * con
85 | SgiSequence of string 85 | SgiSequence of string
86 | SgiClassAbs of string 86 | SgiClassAbs of string
87 | SgiClass of string * con 87 | SgiClass of string * con
88 | SgiCookie of string * con
88 89
89 and sgn' = 90 and sgn' =
90 SgnConst of sgn_item list 91 SgnConst of sgn_item list
91 | SgnVar of string 92 | SgnVar of string
92 | SgnFun of string * sgn * sgn 93 | SgnFun of string * sgn * sgn
155 | DExport of str 156 | DExport of str
156 | DTable of string * con 157 | DTable of string * con
157 | DSequence of string 158 | DSequence of string
158 | DClass of string * con 159 | DClass of string * con
159 | DDatabase of string 160 | DDatabase of string
161 | DCookie of string * con
160 162
161 and str' = 163 and str' =
162 StrConst of decl list 164 StrConst of decl list
163 | StrVar of string 165 | StrVar of string
164 | StrProj of str * string 166 | StrProj of str * string