home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
All features
class TUPLE 1 [A_]
Summary
top
One field
TUPLE
definition.
Direct parents
inherit list:
TUPLE
Overview
top
creation features
make_1
(i1: A_)
exported features
count
:
INTEGER_32
item_1
: A_
set_item_1
(i1: A_)
set_first
(i1: A_)
first
: A_
A well-known alias for
item_1
make_1
(i1: A_)
count
:
INTEGER_32
effective function
top
item_1
: A_
writable attribute
top
set_item_1
(i1: A_)
effective procedure
top
ensure
item_1
= i1
set_first
(i1: A_)
effective procedure
top
ensure
item_1
= i1
first
: A_
effective function
top
A well-known alias for
item_1
make_1
(i1: A_)
effective procedure
top
ensure
item_1
= i1