(* AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
*)
+(* $Id$ *)
+
(* text linearization and parsing *******************************************)
let rec txt_list out f s = function
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