val out_query : MathQL.mquery -> string (* HTML representation of a query *)
+val out_result : MathQL.mqresult -> string (* HTML representation of a query result *)
+
val tref_uref : MathQL.mquref -> MathQL.mqtref (* "tref of uref" conversion *)
val parse_text : in_channel -> MathQL.mquery (* textual parsing of a query *)