* http://cs.unibo.it/helm/.
*)
-(*
- * interfaccia dell'interprete MathQL
- *)
-
-(*
- * inizializzazione del database
-
-val init: unit -> unit
- *)
+val init : unit -> unit (* open database *)
-(*
- * esecuzione di query
- *)
-val execute: MathQL.set_exp -> MathQL.resource_set
+val execute : MathQL.query -> MathQL.result (* execute query *)
-(*
- * chiusura del database
-
-val close: unit -> unit
- *)
+val close : unit -> unit (* close database *)