1signature term_tactic =
2sig
3
4  type tactic = Tactic.tactic
5  type term = Term.term
6  type term_tactic = term -> tactic
7  val goal_term : term_tactic -> tactic
8  val subtm_assum_term : term -> term_tactic -> tactic
9  val first_assum_term : term_tactic -> tactic
10  val last_assum_term : term_tactic -> tactic
11  val first_fv_term : term_tactic -> tactic
12  val fv_term : term_tactic -> tactic
13
14end
15