X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.mli;h=d86772622fad718ca2e0f247c0274d47b0e0f88a;hb=fd1cdc0fff3f15c67d949e016135c77c7c4a7ebd;hp=60f00f50c3da307f028ad0826d8f7eaa5147668d;hpb=1cfcea66d7394a785ec439cd6b03497b276918c4;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index 60f00f50c..d86772622 100644
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -23,23 +23,10 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(*
- * interfaccia dell'interprete MathQL
- *)
+val init    : unit -> unit                  (* open database *)
 
-open MathQL;;
+val execute : MathQL.query -> MathQL.result (* execute query *)
 
-(*
- * inizializzazione del database
- *)
-val init: unit -> unit
+val close   : unit -> unit                  (* close database *)
 
-(*
- * esecuzione di query
- *)
-val execute: mquery -> mqresult;;
-
-(*
- * chiusura del database
- *)
-val close: unit -> unit
+val check   : unit -> Postgres.connection   (* controllo connessione *)