j
k
j a
j l
Benchmarks!
But yeah, for the optimization to be meaningful there should be at least be a shortpath for the case where the element is already at the head (which does not move it).
Back to the thread
Back to the list