# 2.11BSD#431 - /usr/src/new/PORT/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

b2tcU.h used 3 times

- in /usr/src/new/PORT/B/src/bint/b2stc.c line 14
- in /usr/src/new/PORT/B/src/bint/b2tcE.c line 13
- in /usr/src/new/PORT/B/src/bint/b2tcU.c line 12

Last modified: 1985-08-27 Generated: 2016-12-26 | Generated by src2html V0.67 page hit count: 326 |