| Tactic (_, tac) -> pp_tactic tac
| Do (_, count, tac) -> sprintf "do %d %s" count (pp_tactical tac)
| Repeat (_, tac) -> "repeat " ^ pp_tactical tac
| Tactic (_, tac) -> pp_tactic tac
| Do (_, count, tac) -> sprintf "do %d %s" count (pp_tactical tac)
| Repeat (_, tac) -> "repeat " ^ pp_tactical tac