Mercurial > urweb

comparison src/expl.sml @ 704:70cbdcf5989b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
UNIQUE constraints
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 12:24:31 -0400
parents 354800878b4d
children e6706a1df013
comparison
equal deleted inserted replaced
703:a5d8b470d7ca 704:70cbdcf5989b
139 | DValRec of (string * int * con * exp) list 139 | DValRec of (string * int * con * exp) list
140 | DSgn of string * int * sgn 140 | DSgn of string * int * sgn
141 | DStr of string * int * sgn * str 141 | DStr of string * int * sgn * str
142 | DFfiStr of string * int * sgn 142 | DFfiStr of string * int * sgn
143 | DExport of int * sgn * str 143 | DExport of int * sgn * str
144 | DTable of int * string * int * con 144 | DTable of int * string * int * con * exp
145 | DSequence of int * string * int 145 | DSequence of int * string * int
146 | DDatabase of string 146 | DDatabase of string
147 | DCookie of int * string * int * con 147 | DCookie of int * string * int * con
148 148
149 and str' = 149 and str' =