(* Options: Date: 2025-08-04 04:13:06 Version: 6.110 Tip: To override a DTO option, remove "//" prefix before updating BaseUrl: https://szallitoiportal-be.veolia.hu //GlobalNamespace: //MakeDataContractsExtensible: False //AddReturnMarker: True //AddDescriptionAsComments: True //AddDataContractAttributes: False //AddIndexesToDataMembers: False //AddGeneratedCodeAttributes: False //AddResponseStatus: False //AddImplicitVersion: //ExportValueTypes: False IncludeTypes: EditTenderStatus.* //ExcludeTypes: //InitializeCollections: True //AddNamespaces: *) namespace Portal.Common open System open System.Collections open System.Collections.Generic open System.Runtime.Serialization open ServiceStack open ServiceStack.DataAnnotations open System.IO type TenderStatus = | FirstRound = 0 | SecondRound = 1 | ThirdRound = 2 | Successful = 3 | UnSuccessful = 4 | Revoked = 5 [] type ResponseBase() = member val ResponseStatus:ResponseStatus = null with get,set [] type ModifyEntityResponse() = inherit ResponseBase() member val Id:Int32 = new Int32() with get,set [] [] type EditTenderStatus() = interface IReturn interface IPut member val TenderId:Int32 = new Int32() with get,set member val Status:TenderStatus = new TenderStatus() with get,set