// This file is auto-generated by @tailor-platform/sdk
// Do not edit this file manually
// Regenerated automatically when running 'tailor deploy' or 'tailor generate'

declare module "@tailor-platform/sdk" {
  interface Attributes {
    permissions?: string[];
  }
  interface AttributeList {
    __tuple?: [];
  }
  interface Env {}
  interface MachineUserNameRegistry {
    developer: true;
  }
  interface IdpNameRegistry {
    default: true;
  }
  interface ConnectionNameRegistry {}
  interface AIGatewayNameRegistry {}
  interface AuthNamespaceNameRegistry {
    default: true;
  }
}

export {};