Function reverse of remaining stack x and already reversed stack r

helper function for reverse that stores values reversed so far in r

Format:

reverse of remaining stack x and already reversed stack r

Input:

list x -

list r -

Output:

list - None

Properties that reference this function:

reverse of remaining stack [ x, [ ] ] and already reversed stack ys = [ x, ys ] (Reverse List)

reverse of remaining stack [ x, xs ] and already reversed stack ys = reverse of remaining stack xs and already reversed stack [ x, ys ] (Reverse List (2))

reverse of remaining stack [ ] and already reversed stack [ ] = [ ] (Reverse List (3))

reverse of xs = reverse of remaining stack xs and already reversed stack [ ] (Reverse List (4))

Comments

Please log in to add comments