Return to b2tcU.h CVS log

Up to [CSRG BSD Unix] / 43BSD / contrib / B / src / bint

Annotation of 43BSD/contrib/B/src/bint/b2tcU.h, revision 1.1.1.1

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

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.