Module chalk_solve::logging_db [−][src]
Expand description
Provides wrappers over RustIrDatabase which record used definitions and write
.chalk files containing those definitions.
Structs
Wraps another RustIrDatabase (DB) and records which definitions are
used.
Wraps a RustIrDatabase, and, when dropped, writes out all used
definition to the given file.