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