now database interfaces are more abstract

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

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli
index 5e37f180af2c07a62bb4e4bf0533d683b16b5790..c57674cc2126ba583ee6836e6acca6dd4441f943 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -37,10 +37,9 @@ val init      : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> handle
 val close     : handle -> unit
 val connected : handle -> bool
 val exec      : handle -> 
-                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
 
 val init_if_connected : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> handle