let list_check lst elt _ =
  let rec list_check_rec lst = 
    match lst with
      | [] -> false
      | car::cdr -> 
          if (car==elt) then
               true
          else
            list_check_rec cdr
  in
    list_check_rec lst