Function write_module_with_options 

pub fn write_module_with_options<W>(
    w: &mut W,
    module: &Module,
    _: &impl ModuleStore,
    options: WriteOptions,
) -> Result<(), Error>
where
    W: Write,