val wildcard_tac: 's NTacStatus.tactic
val merge_tac: 's NTacStatus.tactic
val focus_tac: int list -> 's NTacStatus.tactic
val unfocus_tac: 's NTacStatus.tactic
val skip_tac: 's NTacStatus.tactic
val wildcard_tac: 's NTacStatus.tactic
val merge_tac: 's NTacStatus.tactic
val focus_tac: int list -> 's NTacStatus.tactic
val unfocus_tac: 's NTacStatus.tactic
val skip_tac: 's NTacStatus.tactic