let rec rev l1 l2 =
  match l1 with
    [] -> l2
  | hd :: tail -> rev tail (hd :: l2)
;;

let reverse list = rev list [];;

reverse [1;2;3];;
reverse [];;
reverse [9;8;7;6];;