/* translation of file(s)
	"commonrep.k"
	"cr_uniq.k"
 */
/* generated by:
 *	@(#)$Author: Kimwitu version: V3_8P5 (c) 1990 University of Twente $
 */
#ifndef KC_CSGIO_HEADER
#define KC_CSGIO_HEADER
#define KIMW_CSGIO_HEADER /* for backwards compatibility */
#include "k.h"	/* in case a user forgets */

char *CSGIOread_nocasestring KC__P(( FILE *, nocasestring* ));
char *CSGIOwrite_nocasestring KC__P(( FILE *, nocasestring ));
char *CSGIOread_casestring KC__P(( FILE *, casestring* ));
char *CSGIOwrite_casestring KC__P(( FILE *, casestring ));
char *CSGIOread_float KC__P(( FILE *, float* ));
char *CSGIOwrite_float KC__P(( FILE *, float ));
char *CSGIOread_int KC__P(( FILE *, int* ));
char *CSGIOwrite_int KC__P(( FILE *, int ));
char *CSGIOread_cr_specification KC__P(( FILE *, cr_specification* ));
char *CSGIOwrite_cr_specification KC__P(( FILE *, cr_specification ));
char *CSGIOread_cr_specification_type KC__P(( FILE *, cr_specification_type* ));
char *CSGIOwrite_cr_specification_type KC__P(( FILE *, cr_specification_type ));
char *CSGIOread_cr_boolean_indication KC__P(( FILE *, cr_boolean_indication* ));
char *CSGIOwrite_cr_boolean_indication KC__P(( FILE *, cr_boolean_indication ));
char *CSGIOread_cr_definition_block KC__P(( FILE *, cr_definition_block* ));
char *CSGIOwrite_cr_definition_block KC__P(( FILE *, cr_definition_block ));
char *CSGIOread_cr_process_definition_list KC__P(( FILE *, cr_process_definition_list* ));
char *CSGIOwrite_cr_process_definition_list KC__P(( FILE *, cr_process_definition_list ));
char *CSGIOread_cr_process_definition KC__P(( FILE *, cr_process_definition* ));
char *CSGIOwrite_cr_process_definition KC__P(( FILE *, cr_process_definition ));
char *CSGIOread_cr_functionality KC__P(( FILE *, cr_functionality* ));
char *CSGIOwrite_cr_functionality KC__P(( FILE *, cr_functionality ));
char *CSGIOread_cr_sort_identifier_list KC__P(( FILE *, cr_sort_identifier_list* ));
char *CSGIOwrite_cr_sort_identifier_list KC__P(( FILE *, cr_sort_identifier_list ));
char *CSGIOread_cr_data_type_definition_list KC__P(( FILE *, cr_data_type_definition_list* ));
char *CSGIOwrite_cr_data_type_definition_list KC__P(( FILE *, cr_data_type_definition_list ));
char *CSGIOread_cr_data_type_definition KC__P(( FILE *, cr_data_type_definition* ));
char *CSGIOwrite_cr_data_type_definition KC__P(( FILE *, cr_data_type_definition ));
char *CSGIOread_cr_completeness_indication KC__P(( FILE *, cr_completeness_indication* ));
char *CSGIOwrite_cr_completeness_indication KC__P(( FILE *, cr_completeness_indication ));
char *CSGIOread_cr_persistency_indication KC__P(( FILE *, cr_persistency_indication* ));
char *CSGIOwrite_cr_persistency_indication KC__P(( FILE *, cr_persistency_indication ));
char *CSGIOread_cr_p_expression KC__P(( FILE *, cr_p_expression* ));
char *CSGIOwrite_cr_p_expression KC__P(( FILE *, cr_p_expression ));
char *CSGIOread_cr_type_identifier_list KC__P(( FILE *, cr_type_identifier_list* ));
char *CSGIOwrite_cr_type_identifier_list KC__P(( FILE *, cr_type_identifier_list ));
char *CSGIOread_cr_replacement KC__P(( FILE *, cr_replacement* ));
char *CSGIOwrite_cr_replacement KC__P(( FILE *, cr_replacement ));
char *CSGIOread_cr_sort_replacement_list KC__P(( FILE *, cr_sort_replacement_list* ));
char *CSGIOwrite_cr_sort_replacement_list KC__P(( FILE *, cr_sort_replacement_list ));
char *CSGIOread_cr_sort_replacement KC__P(( FILE *, cr_sort_replacement* ));
char *CSGIOwrite_cr_sort_replacement KC__P(( FILE *, cr_sort_replacement ));
char *CSGIOread_cr_sort_declaration_list KC__P(( FILE *, cr_sort_declaration_list* ));
char *CSGIOwrite_cr_sort_declaration_list KC__P(( FILE *, cr_sort_declaration_list ));
char *CSGIOread_cr_sort_declaration KC__P(( FILE *, cr_sort_declaration* ));
char *CSGIOwrite_cr_sort_declaration KC__P(( FILE *, cr_sort_declaration ));
char *CSGIOread_cr_operation_replacement_list KC__P(( FILE *, cr_operation_replacement_list* ));
char *CSGIOwrite_cr_operation_replacement_list KC__P(( FILE *, cr_operation_replacement_list ));
char *CSGIOread_cr_operation_replacement KC__P(( FILE *, cr_operation_replacement* ));
char *CSGIOwrite_cr_operation_replacement KC__P(( FILE *, cr_operation_replacement ));
char *CSGIOread_cr_flattened_type_definition KC__P(( FILE *, cr_flattened_type_definition* ));
char *CSGIOwrite_cr_flattened_type_definition KC__P(( FILE *, cr_flattened_type_definition ));
char *CSGIOread_cr_operation_list KC__P(( FILE *, cr_operation_list* ));
char *CSGIOwrite_cr_operation_list KC__P(( FILE *, cr_operation_list ));
char *CSGIOread_cr_operation KC__P(( FILE *, cr_operation* ));
char *CSGIOwrite_cr_operation KC__P(( FILE *, cr_operation ));
char *CSGIOread_cr_prefix_infix KC__P(( FILE *, cr_prefix_infix* ));
char *CSGIOwrite_cr_prefix_infix KC__P(( FILE *, cr_prefix_infix ));
char *CSGIOread_cr_rewrite_strategy KC__P(( FILE *, cr_rewrite_strategy* ));
char *CSGIOwrite_cr_rewrite_strategy KC__P(( FILE *, cr_rewrite_strategy ));
char *CSGIOread_cr_operator_class KC__P(( FILE *, cr_operator_class* ));
char *CSGIOwrite_cr_operator_class KC__P(( FILE *, cr_operator_class ));
char *CSGIOread_cr_equations_option KC__P(( FILE *, cr_equations_option* ));
char *CSGIOwrite_cr_equations_option KC__P(( FILE *, cr_equations_option ));
char *CSGIOread_cr_equation_structure_list KC__P(( FILE *, cr_equation_structure_list* ));
char *CSGIOwrite_cr_equation_structure_list KC__P(( FILE *, cr_equation_structure_list ));
char *CSGIOread_cr_equation_structure KC__P(( FILE *, cr_equation_structure* ));
char *CSGIOwrite_cr_equation_structure KC__P(( FILE *, cr_equation_structure ));
char *CSGIOread_cr_equation_list KC__P(( FILE *, cr_equation_list* ));
char *CSGIOwrite_cr_equation_list KC__P(( FILE *, cr_equation_list ));
char *CSGIOread_cr_equation KC__P(( FILE *, cr_equation* ));
char *CSGIOwrite_cr_equation KC__P(( FILE *, cr_equation ));
char *CSGIOread_cr_premiss_list KC__P(( FILE *, cr_premiss_list* ));
char *CSGIOwrite_cr_premiss_list KC__P(( FILE *, cr_premiss_list ));
char *CSGIOread_cr_equality KC__P(( FILE *, cr_equality* ));
char *CSGIOwrite_cr_equality KC__P(( FILE *, cr_equality ));
char *CSGIOread_cr_identifier_declaration_list KC__P(( FILE *, cr_identifier_declaration_list* ));
char *CSGIOwrite_cr_identifier_declaration_list KC__P(( FILE *, cr_identifier_declaration_list ));
char *CSGIOread_cr_identifier_declaration KC__P(( FILE *, cr_identifier_declaration* ));
char *CSGIOwrite_cr_identifier_declaration KC__P(( FILE *, cr_identifier_declaration ));
char *CSGIOread_cr_value_identifier_list KC__P(( FILE *, cr_value_identifier_list* ));
char *CSGIOwrite_cr_value_identifier_list KC__P(( FILE *, cr_value_identifier_list ));
char *CSGIOread_cr_annotated_value_identifier KC__P(( FILE *, cr_annotated_value_identifier* ));
char *CSGIOwrite_cr_annotated_value_identifier KC__P(( FILE *, cr_annotated_value_identifier ));
char *CSGIOread_cr_behaviour_expression KC__P(( FILE *, cr_behaviour_expression* ));
char *CSGIOwrite_cr_behaviour_expression KC__P(( FILE *, cr_behaviour_expression ));
char *CSGIOread_cr_parallel_operator KC__P(( FILE *, cr_parallel_operator* ));
char *CSGIOwrite_cr_parallel_operator KC__P(( FILE *, cr_parallel_operator ));
char *CSGIOread_cr_gate_declaration_list KC__P(( FILE *, cr_gate_declaration_list* ));
char *CSGIOwrite_cr_gate_declaration_list KC__P(( FILE *, cr_gate_declaration_list ));
char *CSGIOread_cr_gate_declaration KC__P(( FILE *, cr_gate_declaration* ));
char *CSGIOwrite_cr_gate_declaration KC__P(( FILE *, cr_gate_declaration ));
char *CSGIOread_cr_gate_identifier_list KC__P(( FILE *, cr_gate_identifier_list* ));
char *CSGIOwrite_cr_gate_identifier_list KC__P(( FILE *, cr_gate_identifier_list ));
char *CSGIOread_cr_exit_entry_list KC__P(( FILE *, cr_exit_entry_list* ));
char *CSGIOwrite_cr_exit_entry_list KC__P(( FILE *, cr_exit_entry_list ));
char *CSGIOread_cr_exit_entry KC__P(( FILE *, cr_exit_entry* ));
char *CSGIOwrite_cr_exit_entry KC__P(( FILE *, cr_exit_entry ));
char *CSGIOread_cr_identifier_equation_list KC__P(( FILE *, cr_identifier_equation_list* ));
char *CSGIOwrite_cr_identifier_equation_list KC__P(( FILE *, cr_identifier_equation_list ));
char *CSGIOread_cr_identifier_equation KC__P(( FILE *, cr_identifier_equation* ));
char *CSGIOwrite_cr_identifier_equation KC__P(( FILE *, cr_identifier_equation ));
char *CSGIOread_cr_action_denotation KC__P(( FILE *, cr_action_denotation* ));
char *CSGIOwrite_cr_action_denotation KC__P(( FILE *, cr_action_denotation ));
char *CSGIOread_cr_experiment_option KC__P(( FILE *, cr_experiment_option* ));
char *CSGIOwrite_cr_experiment_option KC__P(( FILE *, cr_experiment_option ));
char *CSGIOread_cr_experiment_offer_list KC__P(( FILE *, cr_experiment_offer_list* ));
char *CSGIOwrite_cr_experiment_offer_list KC__P(( FILE *, cr_experiment_offer_list ));
char *CSGIOread_cr_experiment_offer KC__P(( FILE *, cr_experiment_offer* ));
char *CSGIOwrite_cr_experiment_offer KC__P(( FILE *, cr_experiment_offer ));
char *CSGIOread_cr_guard_option KC__P(( FILE *, cr_guard_option* ));
char *CSGIOwrite_cr_guard_option KC__P(( FILE *, cr_guard_option ));
char *CSGIOread_cr_value_expression_list KC__P(( FILE *, cr_value_expression_list* ));
char *CSGIOwrite_cr_value_expression_list KC__P(( FILE *, cr_value_expression_list ));
char *CSGIOread_cr_value_expression KC__P(( FILE *, cr_value_expression* ));
char *CSGIOwrite_cr_value_expression KC__P(( FILE *, cr_value_expression ));
char *CSGIOread_cr_specification_identifier KC__P(( FILE *, cr_specification_identifier* ));
char *CSGIOwrite_cr_specification_identifier KC__P(( FILE *, cr_specification_identifier ));
char *CSGIOread_cr_operation_identifier KC__P(( FILE *, cr_operation_identifier* ));
char *CSGIOwrite_cr_operation_identifier KC__P(( FILE *, cr_operation_identifier ));
char *CSGIOread_cr_type_identifier KC__P(( FILE *, cr_type_identifier* ));
char *CSGIOwrite_cr_type_identifier KC__P(( FILE *, cr_type_identifier ));
char *CSGIOread_cr_sort_identifier KC__P(( FILE *, cr_sort_identifier* ));
char *CSGIOwrite_cr_sort_identifier KC__P(( FILE *, cr_sort_identifier ));
char *CSGIOread_cr_gate_identifier KC__P(( FILE *, cr_gate_identifier* ));
char *CSGIOwrite_cr_gate_identifier KC__P(( FILE *, cr_gate_identifier ));
char *CSGIOread_cr_value_identifier KC__P(( FILE *, cr_value_identifier* ));
char *CSGIOwrite_cr_value_identifier KC__P(( FILE *, cr_value_identifier ));
char *CSGIOread_cr_process_identifier KC__P(( FILE *, cr_process_identifier* ));
char *CSGIOwrite_cr_process_identifier KC__P(( FILE *, cr_process_identifier ));
char *CSGIOread_cr_identifier KC__P(( FILE *, cr_identifier* ));
char *CSGIOwrite_cr_identifier KC__P(( FILE *, cr_identifier ));
char *CSGIOread_cr_extension KC__P(( FILE *, cr_extension* ));
char *CSGIOwrite_cr_extension KC__P(( FILE *, cr_extension ));
char *CSGIOread_cr_operation_name KC__P(( FILE *, cr_operation_name* ));
char *CSGIOwrite_cr_operation_name KC__P(( FILE *, cr_operation_name ));
char *CSGIOread_cr_sort_name KC__P(( FILE *, cr_sort_name* ));
char *CSGIOwrite_cr_sort_name KC__P(( FILE *, cr_sort_name ));
char *CSGIOread_cr_name KC__P(( FILE *, cr_name* ));
char *CSGIOwrite_cr_name KC__P(( FILE *, cr_name ));
char *CSGIOread_cr_comment_list KC__P(( FILE *, cr_comment_list* ));
char *CSGIOwrite_cr_comment_list KC__P(( FILE *, cr_comment_list ));
char *CSGIOread_cr_annotation_list KC__P(( FILE *, cr_annotation_list* ));
char *CSGIOwrite_cr_annotation_list KC__P(( FILE *, cr_annotation_list ));
char *CSGIOread_cr_LABEL KC__P(( FILE *, cr_LABEL* ));
char *CSGIOwrite_cr_LABEL KC__P(( FILE *, cr_LABEL ));
#endif /* ! KC_CSGIO_HEADER */

