1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */
   2: 
   3: /*
   4:   $Header: b2tcU.h,v 1.4 85/08/22 16:43:30 timo Exp $
   5: */
   6: 
   7: /* unification of polytypes */
   8: 
   9: /* Procedure unify(); */    /* polytype a, b, &u; bool &bad */
  10: 
  11: bool contains();    /* polytype u, a */
  12: bool equal_vars();  /* polytype s, a */
Last modified: 1985-08-27
Generated: 2016-12-26
Generated by src2html V0.67
page hit count: 830
Valid CSS Valid XHTML 1.0 Strict