Mercurial > urweb

comparison src/elab.sml @ 707:d8217b4cb617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PRIMARY KEY
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 16:14:31 -0400
parents e6706a1df013
children f152f215a02c
comparison
equal deleted inserted replaced
706:1fb318c17546 707:d8217b4cb617
164 | DSgn of string * int * sgn 164 | DSgn of string * int * sgn
165 | DStr of string * int * sgn * str 165 | DStr of string * int * sgn * str
166 | DFfiStr of string * int * sgn 166 | DFfiStr of string * int * sgn
167 | DConstraint of con * con 167 | DConstraint of con * con
168 | DExport of int * sgn * str 168 | DExport of int * sgn * str
169 | DTable of int * string * int * con * exp * con 169 | DTable of int * string * int * con * exp * con * exp * con
170 | DSequence of int * string * int 170 | DSequence of int * string * int
171 | DClass of string * int * kind * con 171 | DClass of string * int * kind * con
172 | DDatabase of string 172 | DDatabase of string
173 | DCookie of int * string * int * con 173 | DCookie of int * string * int * con
174 174