Mercurial > urweb

comparison src/expl.sml @ 707:d8217b4cb617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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' =