-(*
-
-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 xp_str_uref : MathQL.mquref -> string (* string linearization of a UriMan. reference *)
-
-val xp_str_tref : MathQL.mqtref -> string (* string linearization of a tokenized reference *)
-
-val out_query : MathQL.mquery -> string (* HTML representation of a query *)
-
-val out_result : MathQL.mqresult -> string (* HTML representation of a query result *)