(* *)
(******************************************************************************)
-val str_tref : Mathql.mqtref -> string (* string linearization of a tokenized reference *)
-
-val out_query : Mathql.mquery -> string (* HTML representation of a query *)
-
-val tref_uref : Mathql.mquref -> Mathql.mqtref (* "tref of uref" conversion *)
-
val init : unit -> unit (* INIT database function *)
val close : unit -> unit (* CLOSE database function *)