val do_tactic: n: int -> tactic: tactic -> tactic
val try_tactic: tactic: tactic -> tactic
val solve_tactics: tactics: (string * tactic) list -> tactic
+ val progress_tactic: tactic: tactic -> tactic
(* module C:
sig *)
val semicolon: tactic
val branch: tactic
val shift: tactic
- val pos: int -> tactic
+ val pos: int list -> tactic
+ val wildcard: tactic
val merge: tactic
val focus: int list -> tactic
val unfocus: tactic