From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 10 Sep 2002 14:14:03 +0000 (+0000)
Subject: new mathql interpreter
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1ff21c2c91021a1743425adc4535fc52346783ff;p=helm.git

new mathql interpreter
---

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index 60f00f50c..920243fbb 100644
--- 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
+ *)