let rec check_duplicates provide_list = match provide_list with
    car::cdr when List.mem car cdr -> 
      raise_linker_error (concat ["Function ";car;" is provided by more than one actor/vm."])
  | _::cdr -> check_duplicates cdr
  | [] -> ()