Update app.d.ts

src/app.d.ts

 // See https://kit.svelte.dev/docs/types#app
 // for information about these interfaces
 // and what to do when importing types
-declare namespace App {
+// See https://kit.svelte.dev/docs/types#app
+// for information about these interfaces
+declare global {
+  namespace App {
     // interface Error {}
 
     type OpenIdConnectLocals =
@@ -9,9 +12,12 @@ declare namespace App {
     type UserLocals = import("$lib/server/user_handler").UserLocals
     interface Locals extends UserLocals, OpenIdConnectLocals {
       id_token?: string
-    user?: import("$lib/users").User
+      user_id?: string
     }
 
     // interface PageData {}
     // interface Platform {}
   }
+}
+
+export {}