From 120613e3c26e7ebca95f05b01a0f0748456b3c3c Mon Sep 17 00:00:00 2001 From: jfiat Date: Sun, 28 Sep 2008 19:38:21 +0000 Subject: [PATCH] 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 --- .../eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/current/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki b/documentation/current/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki index 0cda87e8..9359d037 100644 --- a/documentation/current/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki +++ b/documentation/current/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki @@ -181,7 +181,7 @@ In particular all tuple types conform to [[ref:/libraries/base/reference/tuple_c [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]. + to ARRAY [T] {{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 TUPLE [T 1, T 2, ..., T n] for any n (including 0, for which there is no generic parameter). }}