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