class_docstr: The abstract database interface.
class_docstr_tok: ["The","abstract","database","interface","."]
docstr: Check if the database has the given workload.
  Parameters
  ----------
  mod : IRModule
      The IRModule to be searched for.
  Returns
  -------
  result : bool
      Whether the database has the given workload.
docstr_tok: ["Check","if","the","database","has","the","given","workload",".","Parameters","--","--","--","--","--","mod",":","IRModule","The","IRModule","to","be","searched","for",".","Returns","--","--","--","-","result",":","bool","Whether","the","database","has","the","given","workload","."]
code: def has_workload(self, mod: IRModule) -> bool:
      """Check if the database has the given workload.
      Parameters
      ----------
      mod : IRModule
          The IRModule to be searched for.
      Returns
      -------
      result : bool
          Whether the database has the given workload.
      """
      return _ffi_api.DatabaseHasWorkload(self, mod)
  
imports: from typing import Any, Callable, List, Optional, Union
  from typing_extensions import Literal
  from tvm._ffi import register_object
  from tvm.ir.module import IRModule
  from tvm.runtime import Object
  from tvm.target import Target
  from tvm.tir.schedule import Schedule, Trace
  from ..None import _ffi_api
  from ..arg_info import ArgInfo
  from ..utils import _json_de_tvm
label_desc: Use image node_id 1 for calling the Database obj's underlying member method code with example usage: obj.has_workload(mod) and returns: _ffi_api