- the mathql interpreter is not helm-dependent any more

[helm.git] / helm / ocaml / mathql_interpreter / mQIConn.mli

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli
index 405e405d15041d649230c40326d3d6593def9049..649b548547fd073bfe984c7fd9dd3926d554d588 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -43,7 +43,10 @@ val init_if_connected : flag list -> (string -> unit) -> handle
  * For exclusive use of the interpreter.  
  *)
 
-val log   : handle -> string -> unit
-val set   : handle -> flag -> bool   
-val pgc   : handle -> Postgres.connection option
-val flags : handle -> flag list  
+val log     : handle -> string -> unit
+val set     : handle -> flag -> bool   
+val pgc     : handle -> Postgres.connection option
+val flags   : handle -> flag list  
+val tables  : handle -> MathQL.path -> MQIMap.pg_tables
+val field   : handle -> MathQL.path -> string -> string
+val resolve : handle -> string -> string