: Eiffel class interface
</title>
</head>
<body>
