∀ (version : ℕ) (module : Lean.Name) (directImports : Array Lean.Lsp.ImportInfo) (references : Lean.Lsp.ModuleRefs)
  (decls : Lean.Lsp.Decls),
  sizeOf
      { version := version, module := module, directImports := directImports, references := references,
        decls := decls } =
    1 + sizeOf version + sizeOf module + sizeOf directImports + sizeOf references + sizeOf decls