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

#ifndef MR_HEADER_GUARD_mdb__browser_term
#define MR_HEADER_GUARD_mdb__browser_term

#ifdef __cplusplus
extern "C" {
#endif

#include "mercury.h"


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

#endif




#line 42 "mdb.browser_term.mih.tmp"
extern const MR_TypeCtorInfo_Struct mdb__browser_term__mdb__browser_term__type_ctor_info_browser_term_0;

#line 27 "browser_term.m"
void MR_CALL 
mdb__browser_term____Compare____browser_term_0_0(
#line 27 "browser_term.m"
  MR_Word * mdb__browser_term__param_1,
#line 27 "browser_term.m"
  MR_Word mdb__browser_term__param_2,
#line 27 "browser_term.m"
  MR_Word mdb__browser_term__param_3);

#line 27 "browser_term.m"
MR_bool MR_CALL 
mdb__browser_term____Unify____browser_term_0_0(
#line 27 "browser_term.m"
  MR_Word mdb__browser_term__param_1,
#line 27 "browser_term.m"
  MR_Word mdb__browser_term__param_2);

#line 60 "browser_term.m"
MR_Word MR_CALL 
mdb__browser_term__synthetic_term_to_browser_term_3_f_0(
#line 60 "browser_term.m"
  MR_String mdb__browser_term__param_1,
#line 60 "browser_term.m"
  MR_Word mdb__browser_term__param_2,
#line 60 "browser_term.m"
  MR_Word mdb__browser_term__param_3);

#line 49 "browser_term.m"
MR_Word MR_CALL 
mdb__browser_term__plain_term_to_browser_term_1_f_0(
#line 49 "browser_term.m"
  MR_Word mdb__browser_term__param_1,
#line 49 "browser_term.m"
  MR_Box mdb__browser_term__param_2);

#line 44 "browser_term.m"
MR_Word MR_CALL 
mdb__browser_term__univ_to_browser_term_1_f_0(
#line 44 "browser_term.m"
  MR_Word mdb__browser_term__param_1);

void mercury__mdb__browser_term__init(void);
void mercury__mdb__browser_term__init_type_tables(void);
void mercury__mdb__browser_term__init_debugger(void);

#ifdef __cplusplus
}
#endif

#endif /* MR_HEADER_GUARD_mdb.browser_term */

/* :- end_interface mdb.browser_term. */
