Sorts the specified positions according to a depth-first preorder search.
Sorts the specified positions according to a depth-first preorder search.
the positions we want to sort
the same positions, sorted according to a depth-first preorder search
The root position (i.e.
The root position (i.e. the empty sequence).