(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
*)
-val init : unit -> Mysql.dbd
+val init : unit -> HMysql.dbd
-val close : Mysql.dbd -> unit
+val close : HMysql.dbd -> unit
-val exec : Mysql.dbd ->
+val exec : HMysql.dbd * (MQITypes.query -> unit) ->
MQITypes.table -> MQITypes.columns ->
string MQITypes.con_true -> string MQITypes.con_false ->
- MQITypes.result * MQITypes.query
+ MQITypes.result