X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQILib.mli;fp=helm%2Focaml%2Fmathql_interpreter%2FmQILib.mli;h=f5e1874577c0231d8ab6c3f2c30102fbeae7b9ca;hb=88271fa4a71a3642880d85e9efe32ce2306f0661;hp=acc465b7ae6170304917b6e318cfab9c29578b4c;hpb=605740107642920d90d0c88544d576d7836a1a25;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQILib.mli b/helm/ocaml/mathql_interpreter/mQILib.mli
index acc465b7a..f5e187457 100644
--- a/helm/ocaml/mathql_interpreter/mQILib.mli
+++ b/helm/ocaml/mathql_interpreter/mQILib.mli
@@ -42,15 +42,20 @@ type text_out_spec = {out    : string -> unit;
 
 type text_in_spec = {result_in : Lexing.lexbuf -> MathQL.result}
 
-val check_arity : MathQL.path -> int -> int -> unit
+val fun_arity   : MathQL.path -> int -> int -> unit
 
-val eval        : eval_spec -> text_out_spec -> text_in_spec -> 
+val fun_eval    : eval_spec -> text_out_spec -> text_in_spec -> 
                   MathQL.path -> MathQL.path list -> MathQL.query list -> 
-		  MathQL.result
+	          MathQL.result
 
-val txt_out     : text_out_spec ->
+val fun_txt_out : text_out_spec ->
 		  MathQL.path -> MathQL.path list -> MathQL.query list -> unit
 
+val gen_arity   : MathQL.path -> int -> unit
+
+val gen_eval    : eval_spec ->
+                  MathQL.path -> MathQL.query list -> MathQL.query
+
 exception ArityError of MathQL.path * arity_t * int
 
 exception NameError of MathQL.path