* http://cs.unibo.it/helm/.
*)
-val init : unit -> unit (* open database *)
+val init : string -> unit (* open database *)
val execute : MathQL.query -> MathQL.result (* execute query *)
val close : unit -> unit (* close database *)
+
+val check : unit -> Postgres.connection (* controllo connessione *)