Finish documenting queries; remove a stray [unit] argument

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/basis.urs b/lib/basis.urs
index 656c5b91..9681328f 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -232,7 +232,7 @@ val sql_comparison : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
         -> sql_exp tables agg exps bool
 
 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
-                -> unit -> sql_exp tables agg exps int
+                -> sql_exp tables agg exps int
 
 con sql_aggregate :: Type -> Type
 val sql_aggregate : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}