-open MathQL
-open MQIConn
-
-val exec: handle -> refine -> path ->
- (bool * path * value) list -> (bool * path * value) list list ->
- exp_list -> result
+val exec: MQIConn.handle ->
+ MathQL.refine -> MathQL.path ->
+ MathQL.path MQITypes.con_true -> MathQL.path MQITypes.con_false ->
+ MathQL.exp_list -> MathQL.result