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