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