+(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
+
+type flag = Postgres | Galax | Stat | Quiet | Warn | Log
+
+type handle = {
+ log : string -> unit; (* logging function *)
+ set : flag list; (* options *)
+ pgc : Postgres.connection option; (* PG connection *)
+ pgm : MQIMap.pg_map; (* PG conversion function *)
+ pga : MQIMap.pg_alias (* PG table aliases *)
+}