module(1, "declarative_execution.m",
	(mdb.declarative_execution),
	{mdb},
	{builtin, bool, io, list, maybe, (mdb.term_rep), (mdbcomp.prim_data), (mdbcomp.program_representation), (mdbcomp.rtti_access), private_builtin},
	{builtin, bool, io, list, maybe, (mdb.term_rep), (mdbcomp.prim_data), (mdbcomp.program_representation), (mdbcomp.rtti_access), exception, int, map, store, univ, (mdb.declarative_debugger), (mdbcomp.goal_path), private_builtin},
	{},
	{},
	{},
	{"C"},
	{"C" - (mdb.declarative_execution), "C#" - (mdb.declarative_execution), "Java" - (mdb.declarative_execution), "C" - (mdb.declarative_execution)},
	contains_foreign_export,
	no_main
).
