Skip to main content

write_input_derivations

Function write_input_derivations 

Source
fn write_input_derivations<'a, I, K>(
    writer: &mut impl Write,
    input_derivations_sorted: I,
) -> Result<(), Error>
where I: Iterator<Item = (K, &'a BTreeSet<OutputName>)>, K: AtermWriteable,