[Header] [Test] (* base case 1 *) merge ([], [6;5;4;3;2;1]) [Value] [6;5;4;3;2;1] [Test] (* base case 2 *) merge ([12;10;8;6;4;2], []) [Value] [12;10;8;6;4;2] [Test] (* test 3 *) merge ([3;2;1], [7;6;5]) [Value] [7;6;5;3;2;1] [Test] (* test 4 *) merge ([5;3;1], [4;2]) [Value] [5;4;3;2;1] [Test] (* test 5 *) merge ([9;2;1], [8;4;3]) [Value] [9;8;4;3;2;1]