* http://cs.unibo.it/helm/.
*)
+exception ExecuteFunctionNotInitialized;;
+val execute:
+ (Mathql_semantics.attributed_uri_env ->
+ MathQL.mqlist -> Mathql_semantics.result) ref
+
val select_ex :
- Mathql.mqrvar ->
- Mathql.mqsvar list list -> Mathql.mqbool -> Mathql.mqsvar list list
+ Mathql_semantics.attributed_uri_env ->
+ MathQL.mqrvar -> Mathql_semantics.result -> MathQL.mqbool ->
+ Mathql_semantics.result