diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-28 11:59:46 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-28 11:59:46 -0400 |
| commit | fe8bd11ade81a5835d72c498a763c13c17fddd25 (patch) | |
| tree | 5ed3eba6ef836ed2e6a42d9561bafc183ec9f7a3 /lib | |
| parent | 595c8e8d87d9f91e454654c3d7ad9dd49a1bfd93 (diff) | |
COUNT
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.lig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig index 746651ce..0b685301 100644 --- a/lib/basis.lig +++ b/lib/basis.lig @@ -125,6 +125,10 @@ val sql_comparison : sql_comparison -> 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 |