(* Options: Date: 2024-07-03 13:16:29 Version: 8.23 Tip: To override a DTO option, remove "//" prefix before updating BaseUrl: https://api.bokamera.se //GlobalNamespace: //MakeDataContractsExtensible: False //AddReturnMarker: True //AddDescriptionAsComments: True //AddDataContractAttributes: False //AddIndexesToDataMembers: False //AddGeneratedCodeAttributes: False //AddResponseStatus: False //AddImplicitVersion: //ExportValueTypes: False IncludeTypes: LogoutUser.* //ExcludeTypes: //InitializeCollections: True //AddNamespaces: *) namespace BokaMera.API.ServiceModel.Dtos open System open System.Collections open System.Collections.Generic open System.Runtime.Serialization open ServiceStack open ServiceStack.DataAnnotations open System.Globalization open System.IO type KeyCloakRealm = | BookMore = 1 | BookMoreAdmin = 2 | SuperAdmin = 3 [] [] type LogoutUser() = /// ///The user realm for identity server. BookMore = 1, BookMoreAdmin = 2 /// [] member val Realm:KeyCloakRealm = new KeyCloakRealm() with get,set /// ///The user email to log out. /// [] member val Email:String = null with get,set