exception ExecuteFunctionNotInitialized;;
val execute:
(Mathql_semantics.attributed_uri_env ->
- Mathql.mqlist -> Mathql_semantics.result) ref
+ MathQL.mqlist -> Mathql_semantics.result) ref
val select_ex :
Mathql_semantics.attributed_uri_env ->
- Mathql.mqrvar -> Mathql_semantics.result -> Mathql.mqbool ->
+ MathQL.mqrvar -> Mathql_semantics.result -> MathQL.mqbool ->
Mathql_semantics.result