module(1, "mdbcomp.goal_path.m",
	(mdbcomp.goal_path),
	{mdbcomp},
	{builtin, array, bimap, char, map, maybe, private_builtin},
	{builtin, array, bimap, char, map, maybe, assoc_list, cord, int, list, pair, require, string, private_builtin},
	{},
	{},
	{},
	{},
	{},
	no_foreign_export,
	no_main
).
