Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!cs.utexas.edu!uunet!mcvax!unido!unipas!stabl
From: stabl@unipas.fmi.uni-passau.de (Robert Stabl)
Newsgroups: comp.lang.eiffel
Subject: -> in (polymorphic) class definition
Keywords: Eiffel, class definition
Message-ID: <610@unipas.fmi.uni-passau.de>
Date: 11 Jul 89 16:31:12 GMT
Reply-To: stabl@unipas.fmi.uni-passau.de (Robert Stabl)
Organization: University of Passau, W-Germany
Lines: 17

Hello,

I have a question about the Eiffel class "SORTED_LIST".

The definition of SORTED_LIST starts with the following line:
     class SORTED_LIST [ T -> COMPARABLE ] export ....
     
What does the '->' stand for?
What is the semantic of this (polymorphic) class definition?

Greetings
 Robert.
-- 
\  Robert Stabl              =|= stabl@unipas.fmi.uni-passau.de               /
 \ Dept. of Computer Science |=| stabl%unipas.fmi.uni-passau.de@unido.BITNET /
 / University of Passau      =|= stabl%unipas.fmi.uni-passau.de@relay.CS.NET \
/  West Germany              |=| Phone: +49 851/509-346                       \