Re: limited types

[Simon Wright <simon@pushface.org>]

"Matthew Heaney" <mheaney@on2.com> writes:

> generic
>   type ET is private;  --or: type ET (<>) is limited private;
>   type CT is private;  --cursor type
>   with function E (C : CT) return ET is <>;
> procedure Generic_Algorithm (C1, C2 : CT);
>
> The cursor pair [C1, C2) describes a range of elements.  It might be
> the entire range of elements in the container, or just a subrange.
> The algorithm doesn't care.

I would have expected some operation like Succ on CT? (and equality?
would predefined equality on cursors be OK?)