* http://cs.unibo.it/helm/.
*)
-val init : string -> unit (* open database *)
+val init : string -> unit (* open database *)
-val execute : MathQL.query -> MathQL.result (* execute query *)
+val execute : MathQL.query -> MathQL.result (* execute query *)
-val close : unit -> unit (* close database *)
+val close : unit -> unit (* close database *)
-val check : unit -> Postgres.connection (* check connection *)
+val check : unit -> unit (* check connection *)
+
+val set_stat : bool -> unit (* set stat emission *)
+
+val get_stat : unit -> bool (* check stat emission *)
+
+val postgres_db : string (* postgres *)
+
+val galax_db : string (* galax *)
+
+val set_database : string -> unit (* switch postgres/galax *)
+
+val get_database : unit -> string (* check db used *)
-val set_stat : bool -> unit (* set stat emission *)
-val get_stat : unit -> bool (* check stat emission *)