- | M.Let (Some sv) x y -> out "let "; txt_svar sv; out " = ";
- txt_set x; out " in "; txt_set y
- | M.Let None x y -> txt_set x; out " ;; "; txt_set y
- | M.Select av x y -> out "select "; txt_avar av; out " from ";
- txt_set x; out " where "; txt_set y
- | M.For k av x y -> out "for "; txt_avar av; out " in ";
- txt_set x; txt_gen k; txt_set y
- | M.While k x y -> out "while "; 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 "}"
+ | M.Let (Some sv, x, y) -> out "let "; txt_svar sv; out " = ";
+ txt_set x; out " in "; txt_set y
+ | M.Let (None, x, y) -> txt_set x; out " ;; "; txt_set y
+ | M.Select (av, x, y) -> out "select "; txt_avar av; out " from ";
+ txt_set x; out " where "; txt_set y
+ | M.For (k, av, x, y) -> out "for "; txt_avar av; out " in ";
+ txt_set x; txt_gen k; txt_set y
+ | M.While (k, x, y) -> out "while "; 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 "}"