(* Options: Date: 2026-10-20 22:07:30 Version: 8.22 Tip: To override a DTO option, remove "//" prefix before updating BaseUrl: https://korrekt-gera-servdesk.eras-online.de //GlobalNamespace: //MakeDataContractsExtensible: False //AddReturnMarker: True //AddDescriptionAsComments: True //AddDataContractAttributes: False //AddIndexesToDataMembers: False //AddGeneratedCodeAttributes: False //AddResponseStatus: False //AddImplicitVersion: //ExportValueTypes: False IncludeTypes: DeleteObjekte.* //ExcludeTypes: //InitializeCollections: True //AddNamespaces: *) namespace Eras2Web.Service.Desktop.Server.ServiceModel.Eras2Client.Objekt open System open System.Collections open System.Collections.Generic open System.Runtime.Serialization open ServiceStack open ServiceStack.DataAnnotations [] [] type DeleteObjekteResponse() = [] member val Deleted:Int32 = new Int32() with get,set [] [] [] type DeleteObjekte() = interface IReturn [] member val ObjektGuids:ResizeArray = new ResizeArray() with get,set