Function chalk_solve::display::write_items

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

Writes out each item recorded by a LoggingRustIrDatabase.