]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIConn.mli
- interpreter: the queries are printed before execution
[helm.git] / helm / ocaml / mathql_interpreter / mQIConn.mli
index c57674cc2126ba583ee6836e6acca6dd4441f943..f13448834114c91a0b0d798230a436064dc814c0 100644 (file)
@@ -36,10 +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 -> 
+val exec      : handle -> (MQITypes.query -> unit) ->  
                 MQITypes.table -> MQITypes.columns ->
                 string MQITypes.con_true -> string MQITypes.con_false -> 
-               MQITypes.result * MQITypes.query
+               MQITypes.result
 
 val init_if_connected : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> handle