]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/dbconn.mli
debian version 0.4.3 (maybe, not tested)
[helm.git] / helm / ocaml / mathql_interpreter / dbconn.mli
index c162cf00e9eeed676204cf6a89f52ffb18108c07..5c9ef79cb6aa26a7362d5781b4c787c20f526be8 100644 (file)
@@ -23,6 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val pgc : unit -> Postgres.connection
-val init : unit -> unit
-val close : unit -> unit
+val init  : string -> Postgres.connection option 
+val close : Postgres.connection option -> unit