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