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