factory RAGDeleteRequest({ $core.Iterable<$core.String>? documentIds, }) { final result = create(); if (documentIds != null) result.documentIds.addAll(documentIds); return result; }