4.3BSD - /usr/src/new/B/src/bint/b2tcU.h

   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 */

Usage of this include