[−][src]Module chalk_solve::logging_db

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

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.