+
Point of view
RENAME_LIST
deferred class EIFFELDOC_COMMENT_STATE
Summary
Overview
exported features
visit_rename_list (visited: RENAME_LIST)
effective procedure
as_visitor: VISITOR
effective function