let rec set_of_list_a xs =
  match xs with
      [] -> []
    | x::xs' -> (add_elt x (set_of_list_a xs'))