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