Mercurial > urweb
comparison src/mono.sml @ 1280:3d06e0f7a6f3
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 |