summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs6
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 795b4f9a..aefe82b7 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -384,6 +384,7 @@ val sql_relop : free ::: {{Type}}
-> selectedFields ::: {{Type}}
-> selectedExps ::: {Type}
-> sql_relop
+ -> bool (* ALL *)
-> sql_query1 free afree tables1 selectedFields selectedExps
-> sql_query1 free afree tables2 selectedFields selectedExps
-> sql_query1 free afree [] selectedFields selectedExps
@@ -448,8 +449,9 @@ val sql_is_null : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
-> sql_exp tables agg exps bool
class sql_arith
-val sql_int_arith : sql_arith int
-val sql_float_arith : sql_arith float
+val sql_arith_int : sql_arith int
+val sql_arith_float : sql_arith float
+val sql_arith_option : t ::: Type -> sql_arith t -> sql_arith (option t)
con sql_unary :: Type -> Type -> Type
val sql_not : sql_unary bool bool