(* Options:
Date: 2026-10-20 16:25:38
Version: 8.22
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: http://52.142.207.43:23770

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

namespace EndianUpdaterLicenser

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

    [<AllowNullLiteral>]
    type KiKorrekturSignal() = 
        member val AktionTyp:String = null with get,set
        member val Tabelle:String = null with get,set
        member val Feldname:String = null with get,set
        member val AenderungsBeschreibung:String = null with get,set
        member val FehlerMeldung:String = null with get,set
        member val AufgerufeVon:String = null with get,set
        member val UrspruenglicheFehlertext:String = null with get,set

    [<AllowNullLiteral>]
    type GetKiNegativProtokollResponse() = 
        member val Status:Boolean = new Boolean() with get,set
        member val Signale:ResizeArray<KiKorrekturSignal> = new ResizeArray<KiKorrekturSignal>() with get,set

    [<AllowNullLiteral>]
    type GetKiNegativProtokollRequest() = 
        interface IReturn<GetKiNegativProtokollResponse>
        member val Lizenz:String = null with get,set
        member val RohLimit:Int32 = new Int32() with get,set