let txt_path out p = out "/"; txt_list out (txt_str out) "/" p
-let text_of_query out x sep =
+let text_of_query out sep x =
let module M = MathQL in
let txt_path_list l = txt_list out (txt_path out) ", " l in
let txt_svar sv = out ("%" ^ sv) in
in
txt_set x; out sep
-let text_of_result out x sep =
+let text_of_result out sep x =
let txt_attr = function
| (p, []) -> txt_path out p
| (p, l) -> txt_path out p; out " = "; txt_list out (txt_str out) ", " l