link jumpque
May 9, 1992; Ralph E. Griswold
This file is in the public domain.
jumpque(queue, y) moves y to the head of the queue if it is in queue but just adds y to the head of the queue if it is not already in the queue. A copy of queue is returned; the argument is not modified.