Module chalk_solve::logging_db
source · [−]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.