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