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