let rec search (l : int list) (k : int) = match l with
    | [] -> false
    | c::[] -> (c = k)
    | c::b -> if c == k then true else search b k
;;