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


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

#ifndef MR_HEADER_GUARD_mdb__declarative_debugger
#define MR_HEADER_GUARD_mdb__declarative_debugger

#ifdef __cplusplus
extern "C" {
#endif

#include "mercury.h"


#ifndef MDB__DECLARATIVE_DEBUGGER_DECL_GUARD
#define MDB__DECLARATIVE_DEBUGGER_DECL_GUARD
#include "mdb.mih"
#line 964 "declarative_debugger.m"

extern  int MR_DD_debug_origin;

#endif




#line 45 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_answer_1;

#line 48 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_bug_0;

#line 51 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_confirmation_0;

#line 54 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_contour_0;

#line 57 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_e_bug_0;

#line 60 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_evidence_1;

#line 63 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_exception_0;

#line 66 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_i_bug_0;

#line 69 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_position_0;

#line 72 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_question_1;

#line 75 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_decl_truth_0;

#line 78 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_diagnoser_exception_0;

#line 81 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_diagnoser_response_1;

#line 84 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_diagnoser_state_1;

#line 87 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_final_decl_atom_0;

#line 90 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_init_decl_atom_0;

#line 93 "mdb.declarative_debugger.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__declarative_debugger__mdb__declarative_debugger__type_ctor_info_some_decl_atom_0;

#line 138 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger__f_85_110_117_115_101_100_65_114_103_115_95_95_112_114_101_100_95_95_95_95_67_111_109_112_97_114_101_95_95_95_109_100_98_95_95_100_101_99_108_97_114_97_116_105_118_101_95_100_101_98_117_103_103_101_114_95_95_100_101_99_108_95_112_111_115_105_116_105_111_110_95_48_95_95_91_50_44_32_51_93_95_48_3_p_0(
#line 138 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1);

#line 138 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger__f_85_110_117_115_101_100_65_114_103_115_95_95_112_114_101_100_95_95_95_95_85_110_105_102_121_95_95_95_109_100_98_95_95_100_101_99_108_97_114_97_116_105_118_101_95_100_101_98_117_103_103_101_114_95_95_100_101_99_108_95_112_111_115_105_116_105_111_110_95_48_95_95_91_49_44_32_50_93_95_48_2_p_0(void);

#line 208 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____some_decl_atom_0_0(
#line 208 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 208 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 208 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 208 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____some_decl_atom_0_0(
#line 208 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 208 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 212 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____init_decl_atom_0_0(
#line 212 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 212 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 212 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 212 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____init_decl_atom_0_0(
#line 212 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 212 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 217 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____final_decl_atom_0_0(
#line 217 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 217 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 217 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 217 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____final_decl_atom_0_0(
#line 217 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 217 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 344 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____diagnoser_state_1_0(
#line 344 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 344 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_2,
#line 344 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3,
#line 344 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_4);

#line 344 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____diagnoser_state_1_0(
#line 344 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 344 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 344 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 228 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____diagnoser_response_1_0(
#line 228 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 228 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_2,
#line 228 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3,
#line 228 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_4);

#line 228 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____diagnoser_response_1_0(
#line 228 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 228 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 228 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 293 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____diagnoser_exception_0_0(
#line 293 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 293 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 293 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 293 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____diagnoser_exception_0_0(
#line 293 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 293 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 82 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_truth_0_0(
#line 82 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 82 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 82 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 82 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_truth_0_0(
#line 82 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 82 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 148 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_question_1_0(
#line 148 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 148 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_2,
#line 148 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3,
#line 148 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_4);

#line 148 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_question_1_0(
#line 148 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 148 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 148 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 138 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_position_0_0(
#line 138 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1);

#line 138 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_position_0_0(void);

#line 126 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_i_bug_0_0(
#line 126 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 126 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 126 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 126 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_i_bug_0_0(
#line 126 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 126 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 223 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_exception_0_0(
#line 223 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 223 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 223 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 223 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_exception_0_0(
#line 223 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 223 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 198 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_evidence_1_0(
#line 198 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 198 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_2,
#line 198 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3,
#line 198 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_4);

#line 198 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_evidence_1_0(
#line 198 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 198 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 198 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 107 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_e_bug_0_0(
#line 107 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 107 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 107 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 107 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_e_bug_0_0(
#line 107 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 107 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 134 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_contour_0_0(
#line 134 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 134 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 134 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 134 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_contour_0_0(
#line 134 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 134 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 90 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_confirmation_0_0(
#line 90 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 90 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 90 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 90 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_confirmation_0_0(
#line 90 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 90 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 98 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_bug_0_0(
#line 98 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_1,
#line 98 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 98 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 98 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_bug_0_0(
#line 98 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 98 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 168 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger____Compare____decl_answer_1_0(
#line 168 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 168 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_2,
#line 168 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3,
#line 168 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_4);

#line 168 "declarative_debugger.m"
MR_bool MR_CALL 
mdb__declarative_debugger____Unify____decl_answer_1_0(
#line 168 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 168 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 168 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3);

#line 286 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger__unravel_decl_atom_3_p_0(
#line 286 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 286 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_2,
#line 286 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_3);

#line 279 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger__diagnosis_9_p_0(
#line 279 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 279 "declarative_debugger.m"
  MR_Box mdb__declarative_debugger__param_2,
#line 279 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3,
#line 279 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_4,
#line 279 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_5,
#line 279 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_6,
#line 279 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_7,
#line 279 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_8);

#line 275 "declarative_debugger.m"
void MR_CALL 
mdb__declarative_debugger__diagnoser_state_init_5_p_0(
#line 275 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 275 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2,
#line 275 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_3,
#line 275 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_4,
#line 275 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_5,
#line 275 "declarative_debugger.m"
  MR_Word * mdb__declarative_debugger__param_6);

#line 206 "declarative_debugger.m"
MR_Word MR_CALL 
mdb__declarative_debugger__get_decl_question_atom_1_f_0(
#line 206 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 206 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

#line 202 "declarative_debugger.m"
MR_Box MR_CALL 
mdb__declarative_debugger__get_decl_question_node_1_f_0(
#line 202 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_1,
#line 202 "declarative_debugger.m"
  MR_Word mdb__declarative_debugger__param_2);

void mercury__mdb__declarative_debugger__init(void);
void mercury__mdb__declarative_debugger__init_type_tables(void);
void mercury__mdb__declarative_debugger__init_debugger(void);

#ifdef __cplusplus
}
#endif

#endif /* MR_HEADER_GUARD_mdb.declarative_debugger */

/* :- end_interface mdb.declarative_debugger. */
