mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
8 lines
151 B
Ada
8 lines
151 B
Ada
with Stacks, Queues;
|
|
--# inherit Stacks, Queues;
|
|
package QueueOperations is
|
|
|
|
procedure ReverseQueue(Q : in out Queues.Queue);
|
|
|
|
end QueueOperations;
|