Function write_details 

fn write_details(
    details: &MobEffectInstanceDetails,
    writer: &mut impl Write,
    depth: usize,
) -> Result<()>