[BACK]Return to b2tcU.h CVS log [TXT] [DIR] Up to [CSRG BSD Unix] / 43BSD / contrib / B / src / bint
File:  [CSRG BSD Unix] / 43BSD / contrib / B / src / bint / b2tcU.h
Revision 1.1.1.1 (vendor branch): download - view: text, annotated - select for diffs
Tue Apr 24 16:12:54 2018 UTC (8 years, 1 month ago) by root
Branches: MAIN, BSD
CVS tags: HEAD, BSD43
BSD 4.3

/* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */

/*
  $Header: /var/lib/cvsd/repos/CSRG/43BSD/contrib/B/src/bint/b2tcU.h,v 1.1.1.1 2018/04/24 16:12:54 root Exp $
*/

/* unification of polytypes */

/* Procedure unify(); */ 	/* polytype a, b, &u; bool &bad */

bool contains(); 	/* polytype u, a */
bool equal_vars(); 	/* polytype s, a */
unix.superglobalmegacorp.com

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