code: def _is_module_names_unique(
      mods: typing.List[executor_factory.ExecutorFactoryModule],
  ):
      """Check if built modules have unique names.
  
      Parameters
      ----------
      mods : List[tvm.relay.backend.executor_factory.ExecutorFactoryModule]
          A list of the return value of tvm.relay.build,
          which will be exported into Model Library Format.
      """
      all_names = []
      for mod in mods:
          all_names.append(mod.libmod_name)
  
      return len(set(all_names)) == len(all_names)
  
imports: import datetime
  import json
  import os
  import pathlib
  import re
  import tarfile
  import typing
  import tvm
  from tvm.micro import get_standalone_crt_dir, get_microtvm_template_projects
  from .._ffi import get_global_func
  from ..contrib import utils
  from ..driver import build_module
  from ..relay import param_dict
  from ..relay.backend import executor_factory
  from ..relay.backend.name_transforms import prefix_generated_name, to_c_variable_style
  from ..tir import expr
label_desc: Use image node_id 13 for calling a global function with example usage: _is_module_names_unique(mods) and returns: unknown