∀ (uri : Lean.Lsp.DocumentUri) (options? : Option Lean.Lsp.DeleteFile.Options) (annotationId? : Option String),
  sizeOf { uri := uri, options? := options?, annotationId? := annotationId? } =
    1 + sizeOf uri + sizeOf options? + sizeOf annotationId?