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     ! 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.