helm/ocaml/mathql_interpreter/mqint.mli

   1
   2 (*
   3  * interfaccia dell'interprete MathQL
   4  *)
   5
   6 open Mathql;;
   7
   8 (*
   9  * inizializzazione del database
  10  *)
  11 val init: unit -> unit
  12
  13 (*
  14  * esecuzione di query
  15  *)
  16 val execute: mquery -> mqresult;;
  17
  18 (*
  19  * chiusura del database
  20  *)
  21 val close: unit -> unit