X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQILib.mli;h=e37fa3b2da10435bf8fb4dd2f0208e790b571e48;hb=9cbce40d56958c466459b028cf250441ec29c9fe;hp=69bd3c04e500bacf80abd91f13798af377e68649;hpb=786284e9dfb25a31aad2161d59cdc5f36657e94a;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQILib.mli b/helm/ocaml/mathql_interpreter/mQILib.mli
index 69bd3c04e..e37fa3b2d 100644
--- a/helm/ocaml/mathql_interpreter/mQILib.mli
+++ b/helm/ocaml/mathql_interpreter/mQILib.mli
@@ -30,23 +30,23 @@ type arity_t = Const of int
              | Positive
 	     | Any
 
-type eval_spec = {eval   : MathQL.query -> MathQL.result;
-                  handle : MQIConn.handle
+type eval_spec = {eval : MathQL.query -> MathQL.result;
+                  conn : MQIConn.handle
 		 }
 
-type txt_out_spec = {out    : string -> unit;
-                     path   : MathQL.path -> unit;
-		     query  : MathQL.query -> unit;
-		     result : MathQL.result -> unit
-		    }
+type text_out_spec = {out    : string -> unit;
+                      path   : MathQL.path -> unit;
+		      query  : MathQL.query -> unit;
+		      result : MathQL.result -> unit
+		     }
 
 val check_arity : MathQL.path -> int -> int -> unit
 
-val eval        : eval_spec -> txt_out_spec -> 
+val eval        : eval_spec -> text_out_spec -> 
                   MathQL.path -> MathQL.path list -> MathQL.query list -> 
 		  MathQL.result
 
-val txt_out     : txt_out_spec ->
+val txt_out     : text_out_spec ->
 		  MathQL.path -> MathQL.path list -> MathQL.query list -> unit
 
 exception ArityError of MathQL.path * arity_t * int