Mercurial > urweb

comparison src/mono.sml @ 1281:60e19545841b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
equalAny policies
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Jul 2010 12:12:08 -0400
parents 3d06e0f7a6f3
children a9a500d22ebc
comparison
equal deleted inserted replaced
1280:3d06e0f7a6f3 1281:60e19545841b
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 | PolEqual of {table : exp, field : string, known : bool}
133 133
134 datatype decl' = 134 datatype decl' =
135 DDatatype of (string * int * (string * int * typ option) list) list 135 DDatatype of (string * int * (string * int * typ option) list) list
136 | DVal of string * int * typ * exp * string 136 | DVal of string * int * typ * exp * string
137 | DValRec of (string * int * typ * exp * string) list 137 | DValRec of (string * int * typ * exp * string) list