Mercurial > urweb
comparison src/expl.sml @ 707:d8217b4cb617
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 |
---|---|
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 * exp * con | 144 | DTable of int * string * int * con * exp * con * exp * con |
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' = |