Re: limited types (Was: Records that could be arrays)

Dmitry A. Kazakov wrote:
>
> I don't see how a constraint imposed on elements can propagate to the
> cursor.

generic
  type ET is private;
  type Cursor is private;

  with function E (C : Cursor) return ET is <>;
  ...
procedure Generic_Algorithm (C1, C2 : CT);