Mercurial > urweb
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 |