/* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */

/*
  $Header: b2tcE.h,v 1.4 85/08/22 16:43:15 timo Exp $
*/

/* type unification errors */

/* Procedure start_vars(); */ 		/* */
/* Procedure add_var(); */		/* polytype tvar */
/* Procedure end_vars(); */		/* */

/* Procedure setreprtable(); */ 	/* */
/* Procedure delreprtable(); */		/* */

/* Procedure badtyperr(); */		/* polytype a, b */
/* Procedure cyctyperr(); */		/* polytype a */
