[−][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 |
WriteOnDropRustIrDatabase | Wraps a |
Enums
RecordedItemId |