new mathql interpreter

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index 60f00f50c3da307f028ad0826d8f7eaa5147668d..920243fbbbf5d78fe9a33d06966ea7924b1593c4 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -27,19 +27,19 @@
  * interfaccia dell'interprete MathQL
  *)
 
-open MathQL;;
-
 (*
  * inizializzazione del database
- *)
+
 val init: unit -> unit
+ *)
 
 (*
  * esecuzione di query
  *)
-val execute: mquery -> mqresult;;
+val execute: MathQL.set_exp -> MathQL.resource_set
 
 (*
  * chiusura del database
- *)
+ 
 val close: unit -> unit
+ *)