diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index 01b3fab8..1343e449 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -34,6 +34,16 @@ val sql_string : sql_type string val sql_inject : tables ::: {{Type}} -> t ::: Type -> t -> sql_type t -> sql_exp tables t +type sql_comparison +val sql_eq : sql_comparison +val sql_ne : sql_comparison +val sql_lt : sql_comparison +val sql_le : sql_comparison +val sql_gt : sql_comparison +val sql_ge : sql_comparison +val sql_comparison : sql_comparison + -> tables ::: {{Type}} -> t ::: Type -> sql_exp tables t -> sql_exp tables t + -> sql_type t -> sql_exp tables bool (** XML *) |