# let rec mem x list =
	match list with
	  []                -> false
	| hd::_ when hd = x -> true
    | _::tl             -> mem x tl
      ;;