diff options
Diffstat (limited to 'lib/basis.urs')
-rw-r--r-- | lib/basis.urs | 5 |
1 files changed, 5 insertions, 0 deletions
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 *) |