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,