(* Options:
Date: 2026-06-14 21:35:25
Version: 8.80
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://qp-microservices-booster.richemont.com

//GlobalNamespace: 
//MakeDataContractsExtensible: False
//AddReturnMarker: True
//AddDescriptionAsComments: True
//AddDataContractAttributes: False
//AddIndexesToDataMembers: False
//AddGeneratedCodeAttributes: False
//AddResponseStatus: False
//AddImplicitVersion: 
//ExportValueTypes: False
IncludeTypes: UserRequest.*
//ExcludeTypes: 
//InitializeCollections: True
//AddNamespaces: 
*)

namespace Booster.Microservices.ServiceModel.Security

open System
open System.Collections
open System.Collections.Generic
open System.Runtime.Serialization
open ServiceStack
open ServiceStack.DataAnnotations

    [<AllowNullLiteral>]
    type UserResponse() = 
        member val iss:String = null with get,set
        member val aud:ResizeArray<String> = new ResizeArray<String>() with get,set
        member val sub:String = null with get,set
        member val email:String = null with get,set
        member val azp:String = null with get,set
        member val locale:ResizeArray<String> = new ResizeArray<String>() with get,set
        member val exp:String = null with get,set
        member val iat:String = null with get,set
        member val time:String = null with get,set

    [<Route("/warranty/v1/user/{username*}", "GET")>]
    [<AllowNullLiteral>]
    type UserRequest() = 
        interface IReturn<UserResponse>
        member val username:String = null with get,set