Module chalk_solve::logging_db

Provides wrappers over RustIrDatabase which record used definitions and write .chalk files containing those definitions.

Modules

• id_collector 🔒

Structs

• LoggingRustIrDatabase
  Wraps another RustIrDatabase (DB) and records which definitions are used.
• WriteOnDropRustIrDatabase
  Wraps a RustIrDatabase, and, when dropped, writes out all used definition to the given file.

Enums

• RecordedItemId