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

diff --git a/helm/ocaml/mathql_interpreter/mQILib.mli b/helm/ocaml/mathql_interpreter/mQILib.mli
index e37fa3b2d..acc465b7a 100644
--- a/helm/ocaml/mathql_interpreter/mQILib.mli
+++ b/helm/ocaml/mathql_interpreter/mQILib.mli
@@ -35,14 +35,16 @@ type eval_spec = {eval : MathQL.query -> MathQL.result;
 		 }
 
 type text_out_spec = {out    : string -> unit;
-                      path   : MathQL.path -> unit;
-		      query  : MathQL.query -> unit;
-		      result : MathQL.result -> unit
+                      path   : (string -> unit) -> MathQL.path -> unit;
+		      query  : (string -> unit) -> string -> MathQL.query -> unit;
+		      result : (string -> unit) -> string -> MathQL.result -> unit
 		     }
 
+type text_in_spec = {result_in : Lexing.lexbuf -> MathQL.result}
+
 val check_arity : MathQL.path -> int -> int -> unit
 
-val eval        : eval_spec -> text_out_spec -> 
+val eval        : eval_spec -> text_out_spec -> text_in_spec -> 
                   MathQL.path -> MathQL.path list -> MathQL.query list -> 
 		  MathQL.result