1signature ratUtils =
2sig
3        type term = Term.term
4        type thm = Thm.thm
5        type goal = Abbrev.goal
6        type conv = Abbrev.conv
7        type tactic = Abbrev.tactic
8
9        val dest_rat : term -> term * term list
10        val extract_rat : term -> term list
11
12        val extract_rat_vars : term -> term list
13        val extract_rat_equations : term -> term list
14        val extract_rat_minv : term -> term list
15
16end
17