/*
** Automatically generated from `cterm.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.cterm. */
/* :- interface. */

#ifndef MR_HEADER_GUARD_mdb__cterm
#define MR_HEADER_GUARD_mdb__cterm

#ifdef __cplusplus
extern "C" {
#endif

#include "mercury.h"


#ifndef MDB__CTERM_DECL_GUARD
#define MDB__CTERM_DECL_GUARD
#include "mdb.mih"
#line 52 "cterm.m"

#include "mercury_trace_term.h"

#endif




#line 45 "mdb.cterm.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__cterm__mdb__cterm__type_ctor_info_cargs_0;

#line 48 "mdb.cterm.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__cterm__mdb__cterm__type_ctor_info_cterm_0;

#line 63 "cterm.m"
void MR_CALL 
mdb__cterm____Compare____cterm_0_0(
#line 63 "cterm.m"
  MR_Word * mdb__cterm__param_1,
#line 63 "cterm.m"
  MR_Box mdb__cterm__param_2,
#line 63 "cterm.m"
  MR_Box mdb__cterm__param_3);

#line 63 "cterm.m"
MR_bool MR_CALL 
mdb__cterm____Unify____cterm_0_0(
#line 63 "cterm.m"
  MR_Box mdb__cterm__param_1,
#line 63 "cterm.m"
  MR_Box mdb__cterm__param_2);

#line 64 "cterm.m"
void MR_CALL 
mdb__cterm____Compare____cargs_0_0(
#line 64 "cterm.m"
  MR_Word * mdb__cterm__param_1,
#line 64 "cterm.m"
  MR_Box mdb__cterm__param_2,
#line 64 "cterm.m"
  MR_Box mdb__cterm__param_3);

#line 64 "cterm.m"
MR_bool MR_CALL 
mdb__cterm____Unify____cargs_0_0(
#line 64 "cterm.m"
  MR_Box mdb__cterm__param_1,
#line 64 "cterm.m"
  MR_Box mdb__cterm__param_2);

#line 39 "cterm.m"
MR_bool MR_CALL 
mdb__cterm__cterm_head_tail_3_p_0(
#line 39 "cterm.m"
  MR_Box mdb__cterm__param_1,
#line 39 "cterm.m"
  MR_Box * mdb__cterm__param_2,
#line 39 "cterm.m"
  MR_Box * mdb__cterm__param_3);

#line 34 "cterm.m"
void MR_CALL 
mdb__cterm__cterm_deconstruct_3_p_0(
#line 34 "cterm.m"
  MR_Box mdb__cterm__param_1,
#line 34 "cterm.m"
  MR_String * mdb__cterm__param_2,
#line 34 "cterm.m"
  MR_Box * mdb__cterm__param_3);

#line 30 "cterm.m"
void MR_CALL 
mdb__cterm__match_with_cterm_3_p_0(
#line 30 "cterm.m"
  MR_Word mdb__cterm__param_1,
#line 30 "cterm.m"
  MR_Box mdb__cterm__param_2,
#line 30 "cterm.m"
  MR_Box mdb__cterm__param_3,
#line 30 "cterm.m"
  MR_Word * mdb__cterm__param_4);

void mercury__mdb__cterm__init(void);
void mercury__mdb__cterm__init_type_tables(void);
void mercury__mdb__cterm__init_debugger(void);

#ifdef __cplusplus
}
#endif

#endif /* MR_HEADER_GUARD_mdb.cterm */

/* :- end_interface mdb.cterm. */
