mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-07 07:12:25 +01:00
Author:admin
Date:2008-09-28T19:38:21.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@53 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
@@ -181,7 +181,7 @@ In particular all tuple types conform to [[ref:/libraries/base/reference/tuple_c
|
||||
<code>[CONF2]
|
||||
For n >= 0 If *every* one of the types T1, T2, ..., Tn conforms
|
||||
to a type T, then TUPLE [T1, T2, ..., Tn] conforms
|
||||
to [[ref:/libraries/base/reference/array_chart|ARRAY]] [T].</code>
|
||||
to ARRAY [T]</code>
|
||||
|
||||
{{Definition|Tuple Type|A "tuple type" is any type based on class [[ref:/libraries/base/reference/tuple_chart|TUPLE]] , i.e. any type of the form <code>TUPLE</code> [T <code>1</code>, T <code>2</code>, ..., T <code>n</code>] for any n (including 0, for which there is no generic parameter). }}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user