now database interfaces are more abstract

[helm.git] / helm / ocaml / mathql_interpreter / mQIPostgres.mli

diff --git a/helm/ocaml/mathql_interpreter/mQIPostgres.mli b/helm/ocaml/mathql_interpreter/mQIPostgres.mli
index 63752dfeb3cc073023eb32ee4bb8729fabce5d6e..afc75b051084c71fd2ad7582ed0eb117b5acec44 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIPostgres.mli
+++ b/helm/ocaml/mathql_interpreter/mQIPostgres.mli
@@ -31,12 +31,8 @@ val init  : unit -> Postgres.connection
 val close : Postgres.connection -> unit
 
 val exec  : Postgres.connection -> 
-            string -> string list ->
-            (bool * string * string list) list ->
-            (bool * string * string list) list list -> 
-           string list list * string
-
-
-
+            MQITypes.table -> MQITypes.columns ->
+           string MQITypes.con_true -> string MQITypes.con_false ->
+           MQITypes.result * MQITypes.query