Function chalk_solve::display::write_items

source ยท 
pub fn write_items<F, I, DB, P, T>(
    f: &mut F,
    ws: &WriterState<I, DB, P>,
    ids: T,
) -> Result
where
    F: Write + ?Sized,
    I: Interner,
    DB: RustIrDatabase<I>,
    P: Borrow<DB>,
    T: IntoIterator<Item = RecordedItemId<I>>,
Expand description

Writes out each item recorded by a LoggingRustIrDatabase.