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