// Generated by F* Custard extraction. Do not edit.
module Custard
#nowarn "25" "26" "40" "49" "64" "1182" "3220"
open FStarCustard

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