(* Options: Date: 2025-12-05 23:56:35 Version: 8.80 Tip: To override a DTO option, remove "//" prefix before updating BaseUrl: https://staging-api.my1stchoicefs.net //GlobalNamespace: //MakeDataContractsExtensible: False //AddReturnMarker: True //AddDescriptionAsComments: True //AddDataContractAttributes: False //AddIndexesToDataMembers: False //AddGeneratedCodeAttributes: False //AddResponseStatus: False //AddImplicitVersion: //ExportValueTypes: False IncludeTypes: AuctionFloorVehicle.* //ExcludeTypes: //InitializeCollections: False //AddNamespaces: *) namespace FirstChoice.API.ServiceModel open System open System.IO open System.Collections open System.Collections.Generic open System.Runtime.Serialization open ServiceStack open ServiceStack.DataAnnotations [] type GenericResponse() = member val Message:String = null with get,set member val Success:Boolean = new Boolean() with get,set [] type AuctionFloorVehicle() = interface IReturn [] member val BOSDate:DateTime = new DateTime() with get,set [] member val DealerId:Guid = new Guid() with get,set /// ///Must be 17 characters /// [] member val Vin:String = null with get,set [] member val Year:Int32 = new Int32() with get,set [] member val Make:String = null with get,set [] member val Model:String = null with get,set [] member val Miles:Int32 = new Int32() with get,set [] member val Color:String = null with get,set [] member val BOSAmount:Double = new Double() with get,set [] member val TitleNumber:String = null with get,set [] member val TitleState:String = null with get,set