X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQueryInterpreter.mli;h=481c5c31542fc29c01ad24e4a6dca9cb6a6a258c;hb=a48c5f0f412bbb8c1d6601dd5e11e5c3746f11d5;hp=4400c45dda52fb8ba1ecc2b8d1e36b14cb6fedb0;hpb=03dee221bd1f2c9a6e7f74d9abf88be14aac7763;p=helm.git diff --git a/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli b/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli index 4400c45dd..481c5c315 100644 --- a/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli +++ b/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli @@ -23,31 +23,4 @@ * http://cs.unibo.it/helm/. *) -(******************************************************************************) -(* *) -(* PROJECT HELM *) -(* *) -(* Ferruccio Guidi *) -(* 06/01/2003 *) -(* *) -(* *) -(******************************************************************************) - -module type Callbacks = - sig - val log : string -> unit (* logging function *) - end - -module Make (C: Callbacks) : - sig - val postgres : string - val galax : string - val stat : string - val quiet : string - val warn : string - - val execute : string -> MathQL.query -> MathQL.result - val init : string -> bool - val close : string -> unit - val check : string -> bool - end +val execute : MQIConn.handle -> MathQL.query -> MathQL.result