1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */
   2: 
   3: /*
   4:   $Header: b2tcE.h,v 1.4 85/08/22 16:43:15 timo Exp $
   5: */
   6: 
   7: /* type unification errors */
   8: 
   9: /* Procedure start_vars(); */       /* */
  10: /* Procedure add_var(); */      /* polytype tvar */
  11: /* Procedure end_vars(); */     /* */
  12: 
  13: /* Procedure setreprtable(); */     /* */
  14: /* Procedure delreprtable(); */     /* */
  15: 
  16: /* Procedure badtyperr(); */        /* polytype a, b */
  17: /* Procedure cyctyperr(); */        /* polytype a */
Last modified: 1985-08-27
Generated: 2016-12-26
Generated by src2html V0.67
page hit count: 1548
Valid CSS Valid XHTML 1.0 Strict