(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
*)
-type connection
+val init : unit -> Postgres.connection
+
+val close : Postgres.connection -> unit
+
+val exec : Postgres.connection ->
+ string -> string list ->
+ (bool * string * string list) list ->
+ (bool * string * string list) list list ->
+ string list list * string
+
-val init : string -> connection option
-val close : connection option -> unit
-val exec : connection option -> string -> string list list
-val quote : string -> string