val do_tactic: n: int -> tactic: tactic -> tactic
val try_tactic: tactic: tactic -> tactic
val solve_tactics: tactics: (string * tactic) list -> tactic
val do_tactic: n: int -> tactic: tactic -> tactic
val try_tactic: tactic: tactic -> tactic
val solve_tactics: tactics: (string * tactic) list -> tactic