+
Point of view
CALL_INFIX_IMPLIES
class EIFFELDOC_COMMENT_WRITER
Summary
Overview
creation features
visit_call_infix_implies (visited: CALL_INFIX_IMPLIES)
effective procedure
as_visitor: VISITOR
effective function