indexing
	description: 
		"Abstract notion of a set of features."
	date: "$Date$"
	revision: "$Revision $"

deferred class
	FEATURE_SET_AS

inherit
	AST_EIFFEL

end -- class FEATURE_SET_AS