(* *)
(******************************************************************************)
+val text_of_query : MathQL.query -> string
+
+val text_of_result : MathQL.result -> string
+
+val query_of_text : Lexing.lexbuf -> MathQL.query
+
+val result_of_text : Lexing.lexbuf -> MathQL.result
+
+(*
+
val str_uref : MathQL.mquref -> string (* string linearization of a UriMan. reference *)
val str_tref : MathQL.mqtref -> string (* string linearization of a tokenized reference *)
val tref_uref : MathQL.mquref -> MathQL.mqtref (* "tref of uref" conversion *)
val parse_text : in_channel -> MathQL.mquery (* textual parsing of a query *)
+
+*)