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