module(1, "program_representation.m",
	(mdbcomp.program_representation),
	{mdbcomp},
	{builtin, bool, io, list, map, maybe, type_desc, unit, (mdbcomp.goal_path), (mdbcomp.prim_data), (mdbcomp.rtti_access), private_builtin},
	{builtin, bool, io, list, map, maybe, type_desc, unit, (mdbcomp.goal_path), (mdbcomp.prim_data), (mdbcomp.rtti_access), int, map, require, string, private_builtin},
	{},
	{},
	{},
	{"C"},
	{"C" - (mdbcomp.program_representation), "C" - (mdbcomp.program_representation)},
	contains_foreign_export,
	no_main
).
