L.query = text_of_query; L.result = text_of_result
}
in
- L.txt_out o p pl xl
+ L.fun_txt_out o p pl xl
| M.Const [s, []] -> txt_str out s
| M.Const r -> text_of_result out " " r
| M.Dot av p -> txt_avar av; out "."; txt_path out p
txt_set x; txt_gen k; txt_set y
| M.Add d g x -> out "add "; txt_distr d; txt_grp g;
out " in "; txt_set x
+ | M.Gen p [x] -> out "gen "; txt_path out p; out " in "; txt_set x
+ | M.Gen p l -> out "gen "; txt_path out p; out " {";
+ P.flat_list out txt_set ", " l; out "}"
in
txt_set x; out sep