deferred class FEATURE_SET_AS

inherit

	AST_EIFFEL

feature -- Export status computing

end