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