home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
NON_EMPTY_TUPLE_TYPE_MARK
INTERNALS_HANDLER
All features
deferred class NON_EMPTY_TUPLE_TYPE_MARK_VISITOR
Summary
top
Direct parents
inherit list:
VISITOR
Known children
inherit list:
GENERIC_TYPE_MARK_VISITOR
Overview
top
features
visit_non_empty_tuple_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
)
as_visitor
:
VISITOR
visit_non_empty_tuple_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
)
deferred procedure
top
require
visited /= Void
as_visitor
:
VISITOR
effective function
top
This feature is obsolete:
Don't use this feature anymore. That's a 2.0 left-over that does not have any sense now that the type system is improved. Just use Current instead.