| 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 : (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 -> txt_out_spec ->
+val eval : eval_spec -> text_out_spec -> text_in_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