Mercurial > urweb
comparison src/expl.sml @ 704:70cbdcf5989b
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' = |