Function remaining elements after x is popped at index i and visited stack is result

helper function for the pop_index function where result tracks traversed elements

Format:

remaining elements after x is popped at index i and visited stack is result

Input:

list x -
list i -
list result -

Output:

list - None

Properties that reference this function:

remaining elements after xs is popped at index idx = remaining elements after xs is popped at index idx and visited stack is [ ] (Pop Index)
remaining elements after [ x, xs ] is popped at index [ 0, [ ] ] and visited stack is ys = result of dumping xs to ys (Pop Index (2))
remaining elements after [ x, xs ] is popped at index [ 1, [ ] ] and visited stack is result = remaining elements after xs is popped at index [ 0, [ ] ] and visited stack is [ x, result ] (Pop Index (3))
remaining elements after [ x, xs ] is popped at index [ y0, [ y1, ys ] ] and visited stack is result = remaining elements after xs is popped at index (bit [ y0, [ y1, ys ] ] minus bit 1) and visited stack is [ x, result ] (Pop Index (4))
remaining elements after [ x, xs ] is popped at index 0 and visited stack is ys = reverse of (result of dumping xs to ys) (Pop Index End)
remaining elements after [ x, xs ] is popped at index 0 and visited stack is ys = result of dumping ys to xs (Pop Index End Alternate)
remaining elements after [ x, xs ] is popped at index idx and visited stack is v = remaining elements after xs is popped at index (idx - 1) and visited stack is [ x, v ] (Pop Index Recurse)


Comments

Please log in to add comments