let rev_append l1 l2 = let rec aux l2 = function | [] -> l2 | hd :: tl -> aux (hd :: l2) tl in aux l1 l2