Mercurial > urweb

comparison src/mono.sml @ 1280:3d06e0f7a6f3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial version of equalKnown working for secret
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Jul 2010 11:42:30 -0400
parents a2cd6664f57f
children 60e19545841b
comparison
equal deleted inserted replaced
1279:4c367c8f5b2d 1280:3d06e0f7a6f3
127 PolClient of exp 127 PolClient of exp
128 | PolInsert of exp 128 | PolInsert of exp
129 | PolDelete of exp 129 | PolDelete of exp
130 | PolUpdate of exp 130 | PolUpdate of exp
131 | PolSequence of exp 131 | PolSequence of exp
132 | PolEqualKnown of {table : exp, field : string}
132 133
133 datatype decl' = 134 datatype decl' =
134 DDatatype of (string * int * (string * int * typ option) list) list 135 DDatatype of (string * int * (string * int * typ option) list) list
135 | DVal of string * int * typ * exp * string 136 | DVal of string * int * typ * exp * string
136 | DValRec of (string * int * typ * exp * string) list 137 | DValRec of (string * int * typ * exp * string) list