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