[GAP] Record aggregates with unknown components

[Martin Carlisle]

>>but in the former case I cannot find a way to make a definition like:
>>EMPTY : constant set := set'( ( others => any ), 0 );

I believe you want:

   empty : constant set := set'((others => <>), 0);

--Martin