Mercurial > urweb
comparison src/mono.sml @ 1229:a2cd6664f57f
sendOwnIds policies
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 11 Apr 2010 17:55:37 -0400 |
parents | 62af4cacd191 |
children | 3d06e0f7a6f3 |
comparison
equal
deleted
inserted
replaced
1228:7dfa67560916 | 1229:a2cd6664f57f |
---|---|
126 datatype policy = | 126 datatype policy = |
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 | 132 |
132 datatype decl' = | 133 datatype decl' = |
133 DDatatype of (string * int * (string * int * typ option) list) list | 134 DDatatype of (string * int * (string * int * typ option) list) list |
134 | DVal of string * int * typ * exp * string | 135 | DVal of string * int * typ * exp * string |
135 | DValRec of (string * int * typ * exp * string) list | 136 | DValRec of (string * int * typ * exp * string) list |