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