(* Generated by F* Custard extraction. Do not edit. *)
[@@@ocaml.warning "-3-5-8-11-20-26-27-28-32-33-34-35-37-39-50-57-60-69-70"]

let rec listAppend_list_append (x : ('u___a) list) (y : ('u___a) list) : ('u___a) list =
  (match x with
    | [] -> y
    | (hd :: tl) -> (hd :: (listAppend_list_append tl y))
  )