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