(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
*)
-val exec: MQIConn.handle -> MathQL.refine -> MathQL.path ->
+val exec: MQIConn.handle ->
+ MathQL.refine -> MathQL.path ->
MathQL.path MQITypes.con_true -> MathQL.path MQITypes.con_false ->
MathQL.exp_list -> MathQL.result
-