pub fn write_item_doc<F>(w: &mut dyn Write, id: &TypeStruct, f: F) -> Result<()>where
    F: FnOnce(&mut dyn Write) -> Result<()>,