-let rec matita_of_cop v =
- function
- | [] -> v
- | I::tl -> "i (" ^ matita_of_cop v tl ^ ")"
- | C::tl -> "c (" ^ matita_of_cop v tl ^ ")"
- | M::tl -> "m (" ^ matita_of_cop v tl ^ ")"
+let matita_of_cop v =
+ let matita_of_op = function I -> "i" | C -> "c" | M -> "m" in
+ let rec aux =
+ function
+ | [] -> v
+ | [op] -> matita_of_op op ^ " " ^ v
+ | op::tl -> matita_of_op op ^ " (" ^ aux tl ^ ")"
+ in
+ aux