patched and improved

[helm.git] / helm / ocaml / mathql_interpreter / mQILib.mli

diff --git a/helm/ocaml/mathql_interpreter/mQILib.mli b/helm/ocaml/mathql_interpreter/mQILib.mli
index 69bd3c04e500bacf80abd91f13798af377e68649..e37fa3b2da10435bf8fb4dd2f0208e790b571e48 100644 (file)
--- 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