Function chalk_solve::display::write_items

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

Writes out each item recorded by a LoggingRustIrDatabase.