[
library(queues)
|
The ECLiPSe Libraries
|
Reference Manual
|
Alphabetic Index
]
serve_queue(OldQueue, Head, NewQueue)
removes the first element of the queue for service