∀ (moduleUri : Lean.Lsp.DocumentUri) (ileanPath : System.FilePath) (directImports : Lean.Server.DirectImports)
  (refs : Lean.Lsp.ModuleRefs) (decls : Lean.Lsp.Decls),
  sizeOf
      { moduleUri := moduleUri, ileanPath := ileanPath, directImports := directImports, refs := refs, decls := decls } =
    1 + sizeOf moduleUri + sizeOf ileanPath + sizeOf directImports + sizeOf refs + sizeOf decls