/* translation of file "../util.k" */
/* generated by:
 *	@(#)$Author: Kimwitu version: V4_6 (c) 1990-1996 University of Twente $
 */
#ifndef KC_FUNCTIONS_util_HEADER
#define KC_FUNCTIONS_util_HEADER
#define KIMW_FUNCTIONS_util_HEADER /* for backwards compatibility */
/* define our own macro if we have a 'standard' (ansi) C(++) compiler */
#ifndef KC_NO_STDC
# if defined(__STDC__) || defined(__cplusplus) || defined(_WIN32)
#  define KC_STDC
# endif
#endif
#include "k.h"	/* in case a user forgets */

/* included stuff */
#line 2 "../util.k"
/*
 * The Termprocessor Kimwitu
 *
 * Copyright (c) 1991 University of Twente, Dept TIOS.
 * All rights reserved.
 *
 */

#line 27 "util.h"
/* end included stuff */

boolean f_added KC__P((ID id)); 
void v_add KC__P((ID id)); 
void v_freeadded KC__P((void)); 
int f_getcount KC__P((ID id)); 
void v_resetcount KC__P((void)); 
void v_freecount KC__P((void)); 
boolean f_isbigatom KC__P((ID id)); 
boolean f_DvIsDisallowed KC__P((dollarvarstatus dvs)); 
ID f_listelementphylum KC__P((ID id)); 
ID f_listelementconsoperator KC__P((ID id)); 
ID f_emptyId KC__P((void)); 
boolean f_operatorinphylum KC__P((ID oid, ID pid)); 
boolean f_isphylum KC__P((ID id)); 
boolean f_ispredefinedphylum KC__P((ID id)); 
alternative f_alternativeofoperator KC__P((ID oid)); 
arguments f_argumentsofoperator KC__P((ID oid)); 
ID f_phylumofoperator KC__P((ID oid)); 
ID f_phylumofpatternID KC__P((ID vid)); 
ID f_phylumofpatternvariable KC__P((ID vid)); 
void v_syn_type_attribute_ID KC__P((ID id)); 
boolean f_Nilarguments KC__P((arguments a)); 
ID f_hd_arguments KC__P((arguments a)); 
arguments f_tl_arguments KC__P((arguments a)); 
void v_check_dollarvar_attribute_in_operators KC__P((INT i, unpattributes a, operators o)); 
ID f_check_unpattributes_in_phylum KC__P((unpattributes a, ID p)); 
boolean f_attribute_in_phylym KC__P((ID a, ID p)); 
ID f_typeof_attribute_in_phylym KC__P((ID a, ID p)); 
ID f_subphylumofoperator KC__P((ID o, INT i)); 
ID f_subphylum KC__P((arguments a, INT i)); 
argument f_argumentofoperator KC__P((ID o, INT i)); 
argument f_argument KC__P((arguments a, INT i)); 
ID f_phylumofoutmostpattern KC__P((outmostpattern p)); 
ID f_operatorofphylum KC__P((ID p, INT i)); 
alternative f_alternative KC__P((alternatives a, INT i)); 
void v_reset_phylumdeclaration_marks KC__P((void)); 
void v_reset_variables_type KC__P((variables v)); 
void v_add_to_uviewnames KC__P((ID v)); 
void v_add_to_rviewnames KC__P((ID v)); 
void v_add_to_storageclasses KC__P((ID v, ID p)); 
phylumnames f_phylumnames_foreachwith_vars KC__P((idCexpressions a_idCexpressions)); 
phylumnames t_f_phylumnames_foreachwith_vars KC__P((idCexpressions a_idCexpressions)); 
phylumnames f_phylumnames_foreachwith_listvars KC__P((idCexpressions a_idCexpressions)); 
phylumnames t_f_phylumnames_foreachwith_listvars KC__P((idCexpressions a_idCexpressions)); 
#endif /* !  KC_FUNCTIONS_util_HEADER */