+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
+
+