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

/*
  $Header: b2tcP.h,v 1.4 85/08/22 16:43:20 timo Exp $
*/

/* polytype representation */

typedef value typekind;
typedef value polytype;

/* accessing, NOT giving new values */

typekind kind(); 	/* polytype u */
intlet nsubtypes(); 	/* polytype u */
polytype subtype(); 	/* polytype u, intlet i */
polytype asctype(); 	/* polytype u */
polytype keytype(); 	/* polytype u */
value ident(); 		/* polytype u */

/* MaKe Types, where subtypes are "eaten" */

polytype mkt_polytype(); /* typekind k; intlet nsub */
				/* visible only in bunif.c */
/* Procedure putsubtype(); */	/* polytype sub, *pcomp; intlet isub */
				/* to be used after mkt_polytype or
				 * mkt_compound */

polytype mkt_number();
polytype mkt_text();
polytype mkt_tn();
polytype mkt_error();
polytype mkt_list(); 	/* polytype s */
polytype mkt_table();	/* polytype k, a */
polytype mkt_lt(); 	/* polytype s */
polytype mkt_tlt(); 	/* polytype s */
/* next to be used with putsubtype() calls */
polytype mkt_compound();	/* intlet nsub */
polytype mkt_var(); 	/* value id */
polytype mkt_newvar();

polytype p_copy(); 	/* polytype u */
/* Procedure p_release(); */		/* polytype u */

/* predicates */

bool are_same_types(); 	/* polytype u, v */
bool have_same_structure();/* polytype u, v */

bool t_is_number();	/* typekind k */
bool t_is_text();	/* typekind k */
bool t_is_tn();		/* typekind k */
bool t_is_error();	/* typekind k */
bool t_is_list(); 	/* typekind k */
bool t_is_table();	/* typekind k */
bool t_is_lt(); 		/* typekind k */
bool t_is_tlt();		/* typekind k */
bool t_is_compound();	/* typekind k */
bool t_is_var();		/* typekind k */
bool has_number(); 	/* typekind k */
bool has_text(); 	/* typekind k */
bool has_lt();	 	/* typekind k */

/* typetable */

/* Procedure repl_type_of(); */ /* polytype u, tu */
bool table_has_type_of();	/* polytype u */
polytype type_of(); 		/* polytype u */
polytype bottom_var(); 		/* polytype u */

/* Procedure usetypetable(); */		/* value t */
/* Procedure deltypetable(); */

/* init */

/* Procedure initpol(); */ 	/* */