(*
 * 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