* included in the distribution.
*
* $RCSfile: subst.h,v $
- * $Revision: 1.4 $
- * $Date: 1999/10/15 21:41:00 $
+ * $Revision: 1.6 $
+ * $Date: 1999/11/17 16:57:50 $
* ------------------------------------------------------------------------*/
typedef struct { /* Each type variable contains: */
extern Bool unifyPred Args((Cell,Int,Cell,Int));
extern Inst findInstFor Args((Cell,Int));
-extern Bool sameSchemes Args((Type,Type));
+extern Void improve Args((Int,List,List));
+extern Void improve1 Args((Int,List,Cell,Int));
+
+extern Bool sameSchemes Args((Type,Type));
+extern Bool sameType Args((Type,Int,Type,Int));
+extern Bool matchType Args((Type,Int,Type,Int));
/*-------------------------------------------------------------------------*/