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);

.



Relevant Pages