class_docstr: The abstract database interface.
class_docstr_tok: ["The","abstract","database","interface","."]
docstr: Dump the pruned database to files of JSONDatabase format.
  
  Parameters
  ----------
  destination : Database
      The destination database to be dumped to.
docstr_tok: ["Dump","the","pruned","database","to","files","of","JSONDatabase","format",".","Parameters","--","--","--","--","--","destination",":","Database","The","destination","database","to","be","dumped","to","."]
code: def dump_pruned(self, destination: "Database") -> None:
      """Dump the pruned database to files of JSONDatabase format.
  
      Parameters
      ----------
      destination : Database
          The destination database to be dumped to.
      """
      return _ffi_api.DatabaseDumpPruned(  # type: ignore # pylint: disable=no-member
          self, destination
      )
  
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 10 for calling the Database obj's underlying member method code with example usage: obj.dump_pruned(destination) and returns: _ffi_api