/*
** Automatically generated from `declarative_analyser.m'
** by the Mercury compiler,
** version 14.01.1, configured for x86_64--netbsd.
** Do not edit.
**
** The autoconfigured grade settings governing
** the generation of this C file were
**
** TAG_BITS=3
** UNBOXED_FLOAT=yes
** PREGENERATED_DIST=no
** HIGHLEVEL_CODE=yes
**
** END_OF_C_GRADE_INFO
*/


/* :- module mdb.declarative_analyser. */
/* :- interface. */

#ifndef MR_HEADER_GUARD_mdb__declarative_analyser
#define MR_HEADER_GUARD_mdb__declarative_analyser

#ifdef __cplusplus
extern "C" {
#endif

#include "mercury.h"


#ifndef MDB__DECLARATIVE_ANALYSER_DECL_GUARD
#define MDB__DECLARATIVE_ANALYSER_DECL_GUARD
#include "mdb.mih"

#endif




#line 42 "mdb.declarative_analyser.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_analyser__mdb__declarative_analyser__type_ctor_info_analyser_response_1;

#line 45 "mdb.declarative_analyser.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_analyser__mdb__declarative_analyser__type_ctor_info_analyser_state_1;

#line 48 "mdb.declarative_analyser.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_analyser__mdb__declarative_analyser__type_ctor_info_analysis_type_1;

#line 51 "mdb.declarative_analyser.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_analyser__mdb__declarative_analyser__type_ctor_info_explicit_tree_type_0;

#line 54 "mdb.declarative_analyser.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_analyser__mdb__declarative_analyser__type_ctor_info_reason_for_question_0;

#line 57 "mdb.declarative_analyser.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_analyser__mdb__declarative_analyser__type_ctor_info_search_mode_0;

#line 60 "mdb.declarative_analyser.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_analyser__mdb__declarative_analyser__type_ctor_info_search_response_0;

#line 63 "mdb.declarative_analyser.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_analyser__mdb__declarative_analyser__type_ctor_info_suspect_and_reason_0;

#line 169 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser____Compare____search_mode_0_0(
#line 169 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_1,
#line 169 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_2,
#line 169 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3);

#line 169 "declarative_analyser.m"
MR_bool MR_CALL 
mdb__declarative_analyser____Unify____search_mode_0_0(
#line 169 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 169 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_2);

#line 84 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser____Compare____analysis_type_1_0(
#line 84 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 84 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_2,
#line 84 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3,
#line 84 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_4);

#line 84 "declarative_analyser.m"
MR_bool MR_CALL 
mdb__declarative_analyser____Unify____analysis_type_1_0(
#line 84 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 84 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_2,
#line 84 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3);

#line 298 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser____Compare____analyser_state_1_0(
#line 298 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 298 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_2,
#line 298 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3,
#line 298 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_4);

#line 298 "declarative_analyser.m"
MR_bool MR_CALL 
mdb__declarative_analyser____Unify____analyser_state_1_0(
#line 298 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 298 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_2,
#line 298 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3);

#line 35 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser____Compare____analyser_response_1_0(
#line 35 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 35 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_2,
#line 35 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3,
#line 35 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_4);

#line 35 "declarative_analyser.m"
MR_bool MR_CALL 
mdb__declarative_analyser____Unify____analyser_response_1_0(
#line 35 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 35 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_2,
#line 35 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3);

#line 137 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser__debug_analyser_state_2_p_0(
#line 137 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 137 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_2,
#line 137 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_3);

#line 131 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser__revise_analysis_4_p_0(
#line 131 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 131 "declarative_analyser.m"
  MR_Box mdb__declarative_analyser__param_2,
#line 131 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_3,
#line 131 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_4,
#line 131 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_5);

#line 125 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser__show_info_5_p_0(
#line 125 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 125 "declarative_analyser.m"
  MR_Box mdb__declarative_analyser__param_2,
#line 125 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3,
#line 125 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_4);

#line 118 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser__change_search_mode_6_p_0(
#line 118 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 118 "declarative_analyser.m"
  MR_Box mdb__declarative_analyser__param_2,
#line 118 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3,
#line 118 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_4,
#line 118 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_5,
#line 118 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_6,
#line 118 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_7);

#line 111 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser__continue_analysis_6_p_0(
#line 111 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 111 "declarative_analyser.m"
  MR_Box mdb__declarative_analyser__param_2,
#line 111 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3,
#line 111 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_4,
#line 111 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_5,
#line 111 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_6,
#line 111 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_7);

#line 106 "declarative_analyser.m"
MR_bool MR_CALL 
mdb__declarative_analyser__reask_last_question_3_p_0(
#line 106 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 106 "declarative_analyser.m"
  MR_Box mdb__declarative_analyser__param_2,
#line 106 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3,
#line 106 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_4);

#line 100 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser__start_or_resume_analysis_6_p_0(
#line 100 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 100 "declarative_analyser.m"
  MR_Box mdb__declarative_analyser__param_2,
#line 100 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3,
#line 100 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_4,
#line 100 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_5,
#line 100 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_6,
#line 100 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_7);

#line 80 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser__set_fallback_search_mode_4_p_0(
#line 80 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 80 "declarative_analyser.m"
  MR_Box mdb__declarative_analyser__param_2,
#line 80 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_3,
#line 80 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_4,
#line 80 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_5);

#line 75 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser__reset_analyser_2_p_0(
#line 75 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 75 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_2,
#line 75 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_3);

#line 71 "declarative_analyser.m"
void MR_CALL 
mdb__declarative_analyser__analyser_state_init_1_p_0(
#line 71 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1,
#line 71 "declarative_analyser.m"
  MR_Word * mdb__declarative_analyser__param_2);

#line 69 "declarative_analyser.m"
MR_Word MR_CALL 
mdb__declarative_analyser__top_down_search_mode_0_f_0(void);

#line 67 "declarative_analyser.m"
MR_Word MR_CALL 
mdb__declarative_analyser__suspicion_divide_and_query_search_mode_0_f_0(void);

#line 65 "declarative_analyser.m"
MR_Word MR_CALL 
mdb__declarative_analyser__divide_and_query_search_mode_0_f_0(void);

#line 59 "declarative_analyser.m"
MR_String MR_CALL 
mdb__declarative_analyser__reason_to_string_1_f_0(
#line 59 "declarative_analyser.m"
  MR_Word mdb__declarative_analyser__param_1);

void mercury__mdb__declarative_analyser__init(void);
void mercury__mdb__declarative_analyser__init_type_tables(void);
void mercury__mdb__declarative_analyser__init_debugger(void);

#ifdef __cplusplus
}
#endif

#endif /* MR_HEADER_GUARD_mdb.declarative_analyser */

/* :- end_interface mdb.declarative_analyser. */
