Universes introduction

[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..f13448834114c91a0b0d798230a436064dc814c0 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -36,11 +36,10 @@ type handle
 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
+val exec      : handle -> (MQITypes.query -> unit) ->  
+                MQITypes.table -> MQITypes.columns ->
+                string MQITypes.con_true -> string MQITypes.con_false -> 
+               MQITypes.result
 
 val init_if_connected : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> handle