fn write_array_elements<S>(
writer: &mut impl Write,
elements: impl IntoIterator<Item = S>,
) -> Result<(), Error>where
S: AtermWriteable,fn write_array_elements<S>(
writer: &mut impl Write,
elements: impl IntoIterator<Item = S>,
) -> Result<(), Error>where
S: AtermWriteable,