module
	core
		PriorityQueue
		Bag
	parameter
		TotalPreOrder
end module