Mercurial > urweb

diff lib/ur/basis.urs @ 1229:a2cd6664f57f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sendOwnIds policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 17:55:37 -0400
parents 62af4cacd191
children beb67ff4c8a0
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Apr 11 16:46:38 2010 -0400
+++ b/lib/ur/basis.urs	Sun Apr 11 17:55:37 2010 -0400
@@ -804,6 +804,8 @@
                  -> [tables ~ exps] => sql_query [] tables exps
                  -> sql_policy
 
+val sendOwnIds : sql_sequence -> sql_policy
+
 val mayInsert : fs ::: {Type} -> tables ::: {{Type}} -> [[New] ~ tables]
                 => sql_query [] ([New = fs] ++ tables) []
                 -> sql_policy