Mercurial > urweb
diff lib/basis.lig @ 235:0608a0cfd32a
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