deferred class ANCHORED_TYPE_MARK_VISITOR
Summary
Overview
visit_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK)
deferred procedure
require
  • visited /= Void
visit_like_current_type_mark (visited: LIKE_CURRENT_TYPE_MARK)
deferred procedure
require
  • visited /= Void