declare module server { interface userModel { userId: number; username: string; firstName: string; lastName: string; password: string; securityStamp: string; _language: string; language: { parent: any; lCID: number; keyboardLayoutId: number; name: string; ietfLanguageTag: string; displayName: string; nativeName: string; englishName: string; twoLetterISOLanguageName: string; threeLetterISOLanguageName: string; threeLetterWindowsLanguageName: string; compareInfo: { name: string; lCID: number; version: { fullVersion: number; sortId: any; }; }; textInfo: { aNSICodePage: number; oEMCodePage: number; macCodePage: number; eBCDICCodePage: number; lCID: number; cultureName: string; isReadOnly: boolean; listSeparator: string; isRightToLeft: boolean; }; isNeutralCulture: boolean; cultureTypes: any; numberFormat: { currencyDecimalDigits: number; currencyDecimalSeparator: string; isReadOnly: boolean; currencyGroupSizes: number[]; numberGroupSizes: number[]; percentGroupSizes: number[]; currencyGroupSeparator: string; currencySymbol: string; naNSymbol: string; currencyNegativePattern: number; numberNegativePattern: number; percentPositivePattern: number; percentNegativePattern: number; negativeInfinitySymbol: string; negativeSign: string; numberDecimalDigits: number; numberDecimalSeparator: string; numberGroupSeparator: string; currencyPositivePattern: number; positiveInfinitySymbol: string; positiveSign: string; percentDecimalDigits: number; percentDecimalSeparator: string; percentGroupSeparator: string; percentSymbol: string; perMilleSymbol: string; nativeDigits: string[]; digitSubstitution: any; }; dateTimeFormat: { aMDesignator: string; calendar: { minSupportedDateTime: Date; maxSupportedDateTime: Date; algorithmType: any; isReadOnly: boolean; eras: number[]; twoDigitYearMax: number; }; dateSeparator: string; firstDayOfWeek: any; calendarWeekRule: any; fullDateTimePattern: string; longDatePattern: string; longTimePattern: string; monthDayPattern: string; pMDesignator: string; rFC1123Pattern: string; shortDatePattern: string; shortTimePattern: string; sortableDateTimePattern: string; timeSeparator: string; universalSortableDateTimePattern: string; yearMonthPattern: string; abbreviatedDayNames: string[]; shortestDayNames: string[]; dayNames: string[]; abbreviatedMonthNames: string[]; monthNames: string[]; isReadOnly: boolean; nativeCalendarName: string; abbreviatedMonthGenitiveNames: string[]; monthGenitiveNames: string[]; }; calendar: { minSupportedDateTime: Date; maxSupportedDateTime: Date; algorithmType: any; isReadOnly: boolean; eras: number[]; twoDigitYearMax: number; }; optionalCalendars: { minSupportedDateTime: Date; maxSupportedDateTime: Date; algorithmType: any; isReadOnly: boolean; eras: number[]; twoDigitYearMax: number; }[]; useUserOverride: boolean; isReadOnly: boolean; }; roleId: number; role: server.RoleModel; } }