/* translation of file "../pat.k" */
/* generated by:
 *	@(#)$Author: Kimwitu version: V4_6 (c) 1990-1996 University of Twente $
 */
#ifndef KC_FUNCTIONS_pat_HEADER
#define KC_FUNCTIONS_pat_HEADER
#define KIMW_FUNCTIONS_pat_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 "../pat.k"
/*
 * The Termprocessor Kimwitu
 *
 * Copyright (c) 1991 University of Twente, Dept TIOS.
 * All rights reserved.
 *
 */

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

patternrepresentations syn_patternchains KC__P((patternchains a_patternchains)); 
patternrepresentation syn_patternchain KC__P((patternchain a_patternchain, path a_path)); 
patternrepresentation syn_patternchainitem KC__P((patternchainitem a_patternchainitem, path a_path)); 
patternrepresentations syn_outmostpatterns KC__P((outmostpatterns a_outmostpatterns)); 
boolean f_bindingidmarked KC__P((ID id)); 
void v_markbindingid KC__P((ID id)); 
void v_resetbindingidmarks KC__P((void)); 
patternrepresentations add_predicates_to_patternrepresentations KC__P((patternrepresentations a_patternreps)); 
void v_add_rewriterulesinfo_to_operator KC__P((patternrepresentations a_patternreps, rewriteclauses rc)); 
withcasesinfo f_withcasesinfo KC__P((patternrepresentations a_patternreps, Ctext ct)); 
void v_add_unparsedeclsinfo_to_operator KC__P((patternrepresentations a_patternreps, unparseclauses uc)); 
withcasesinfo insertin_withcasesinfo KC__P((withcaseinfo a_withcaseinfo, withcasesinfo a_withcasesinfo)); 
boolean lt_withcaseinfo KC__P((withcaseinfo a_withcaseinfo1, withcaseinfo a_withcaseinfo2)); 
#endif /* !  KC_FUNCTIONS_pat_HEADER */