]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mQIPostgres.mli
- MySQL mode added to the interpreter
[helm.git] / helm / ocaml / mathql_interpreter / mQIPostgres.mli
index 8fa7acc3b0bc33f3df32bd550c90841b7f8db06a..63752dfeb3cc073023eb32ee4bb8729fabce5d6e 100644 (file)
 (*  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