Module chalk_solve::logging_db [−][src]
Provides wrappers over RustIrDatabase
which record used definitions and write
.chalk
files containing those definitions.
Structs
LoggingRustIrDatabase | Wraps another |
WriteOnDropRustIrDatabase | Wraps a |
Enums
RecordedItemId |