* interfaccia dell'interprete MathQL
*)
-open MathQL;;
-
(*
* inizializzazione del database
- *)
+
val init: unit -> unit
+ *)
(*
* esecuzione di query
*)
-val execute: mquery -> mqresult;;
+val execute: MathQL.set_exp -> MathQL.resource_set
(*
* chiusura del database
- *)
+
val close: unit -> unit
+ *)