Zaimplementuj kolejki FIFO+LIFO jako imperatywne listy dwukierunkowe.
Dana jest definicja typu elementów tworzących listy wskaźnikowe:
type 'a option = None | Some of 'a
type 'a elem = {v: 'a; mutable next: 'a lista}
and 'a lista = 'a elem option
Napisz procedurę \(\mathtt{petla}: \mathtt{lista} \to \mathtt{unit}\), która mając daną listę jednokierunkową, tworzy z niej listę cykliczną, ale z odwróconym kierunkiem wskaźników.