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