Mercurial > urweb

diff lib/basis.lig @ 235:0608a0cfd32a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
COUNT
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 11:59:46 -0400
parents 82409ef72019
children f5732dc1316c
line wrap: on
line diff
--- a/lib/basis.lig	Thu Aug 28 11:49:38 2008 -0400
+++ b/lib/basis.lig	Thu Aug 28 11:59:46 2008 -0400
@@ -125,6 +125,10 @@
         -> sql_exp tables agg exps t -> sql_exp tables agg exps t
         -> sql_exp tables agg exps bool
 
+val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
+        -> unit -> sql_exp tables agg exps int
+
+
 (** XML *)
 
 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type