/**
 * The SortedSet module.
 * 
 * Project <A HREF = "http://gloss.di.fc.ul.pt/quest/"> Quest</A>.
 * 
 * @author Gloss
 * @version 1.0 - 23/Nov/2012
 **/
 
module
	core
		SortedSet
	parameter
		TotalOrder
end module