(* Options:
Date: 2025-05-07 00:44:50
Version: 8.70
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://unstable-consumer-api.brovs.com

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

namespace ConsumerApi

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

    [<AllowNullLiteral>]
    type LotteryAcquireTicketsResponse() = 
        member val NewTicketsAcquired:Int64 = new Int64() with get,set
        member val PointsSpent:Int64 = new Int64() with get,set
        member val TotalPointsLeft:Int64 = new Int64() with get,set
        member val TotalTicketsInLottery:Int64 = new Int64() with get,set

    [<Route("/lottery/points", "POST")>]
    [<AllowNullLiteral>]
    type LotteryAcquireTicketsRequest() = 
        interface IReturn<LotteryAcquireTicketsResponse>
        interface IPost
        member val PointsToConvert:Int64 = new Int64() with get,set