deferred class LOOP_INVARIANT_VISITOR
Summary
Overview
exported features
as_visitor: VISITOR
effective function