comparison src/source.sml @ 704:70cbdcf5989b

UNIQUE constraints
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 12:24:31 -0400
parents e68de2a5506b
children 1fb318c17546
comparison
equal deleted inserted replaced
703:a5d8b470d7ca 704:70cbdcf5989b
158 | DFfiStr of string * sgn 158 | DFfiStr of string * sgn
159 | DOpen of string * string list 159 | DOpen of string * string list
160 | DConstraint of con * con 160 | DConstraint of con * con
161 | DOpenConstraints of string * string list 161 | DOpenConstraints of string * string list
162 | DExport of str 162 | DExport of str
163 | DTable of string * con 163 | DTable of string * con * exp
164 | DSequence of string 164 | DSequence of string
165 | DClass of string * kind * con 165 | DClass of string * kind * con
166 | DDatabase of string 166 | DDatabase of string
167 | DCookie of string * con 167 | DCookie of string * con
168 168