Mercurial > urweb

diff lib/basis.urs @ 338:e976b187d73a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 02d15d81ae9b
children 075b36dbb1a4
line wrap: on
line diff
--- a/lib/basis.urs	Sat Sep 13 20:15:30 2008 -0400
+++ b/lib/basis.urs	Sun Sep 14 11:02:18 2008 -0400
@@ -221,6 +221,11 @@
         -> sql_exp [T = fields] [] [] bool
         -> dml
 
+(*** Sequences *)
+
+type sql_sequence
+val nextval : sql_sequence -> transaction int
+
 
 (** XML *)