From 916a0fe8729686889ee4b1d21026904f1c2e4b84 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Mon, 10 May 2004 13:31:57 +0000 Subject: [PATCH] *** empty log message *** --- helm/ocaml/mathql_interpreter/mQIConn.mli | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli index f13448834..94ea83f76 100644 --- a/helm/ocaml/mathql_interpreter/mQIConn.mli +++ b/helm/ocaml/mathql_interpreter/mQIConn.mli @@ -26,13 +26,23 @@ (* AUTOR: Ferruccio Guidi *) +type connection = MySQL_C of Mysql.dbd + | Postgres_C of Postgres.connection + | No_C + type flag = Galax | Postgres | Queries | Result | Source | Times | Warn +type handle = { + log : string -> unit; (* logging function *) + set : flag list; (* options *) + pgc : connection; (* PG connection *) + pgm : MQIMap.pg_map; (* PG conversion function *) + pga : MQIMap.pg_alias (* PG table aliases *) +} + val string_of_flags : flag list -> string val flags_of_string : string -> flag list -type handle - val init : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> handle val close : handle -> unit val connected : handle -> bool -- 2.39.2