From c81c24b4feb3fae3c13861f1bcaafab697a6bb7e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 14 Sep 2008 11:02:18 -0400
Subject: SQL sequences

---
 lib/basis.urs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib')

diff --git a/lib/basis.urs b/lib/basis.urs
index f5bfa740..672153b6 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -221,6 +221,11 @@ val delete : fields ::: {Type}
         -> sql_exp [T = fields] [] [] bool
         -> dml
 
+(*** Sequences *)
+
+type sql_sequence
+val nextval : sql_sequence -> transaction int
+
 
 (** XML *)
 
-- 
cgit v1.2.3