-- Abstract Eiffel export: single feature with or without resctriction or -- repeated class export deferred class EXPORT_AS inherit AST_EIFFEL end