module(1, "declarative_debugger.m",
	(mdb.declarative_debugger),
	{mdb},
	{builtin, io, list, maybe, unit, (mdb.browser_info), (mdb.declarative_analyser), (mdb.declarative_execution), (mdb.declarative_tree), (mdb.help), (mdb.io_action), (mdb.term_rep), (mdbcomp.program_representation), private_builtin},
	{builtin, io, list, maybe, unit, (mdb.browser_info), (mdb.declarative_analyser), (mdb.declarative_execution), (mdb.declarative_tree), (mdb.help), (mdb.io_action), (mdb.term_rep), (mdbcomp.program_representation), bool, exception, int, string, univ, (mdb.declarative_edt), (mdb.declarative_oracle), (mdb.util), (mdbcomp.prim_data), (mdbcomp.rtti_access), private_builtin},
	{},
	{},
	{},
	{"C"},
	{"C" - (mdb.declarative_debugger), "C" - (mdb.declarative_debugger)},
	contains_foreign_export,
	no_main
).
