* http://cs.unibo.it/helm/.
*)
+(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
+
open MathQL
open MQIConn
val exec: handle -> refine -> path ->
- (bool * path * value) list -> (bool * path * value) list list ->
+ (bool * path * result) list -> (bool * path * result) list list ->
exp_list -> result