(* Options:
Date: 2025-06-13 07:12:33
Version: 6.40
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://ws.jimsnwa.com

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

namespace Administrador.Modelo.Tipos

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

    [<AllowNullLiteral>]
    type DeleteFileRS() = 
        member val isDelete:Boolean = new Boolean() with get,set
        member val error:String = null with get,set

    [<Route("/restfiles/files")>]
    [<Route("/restfiles/files/{Path*}")>]
    [<AllowNullLiteral>]
    type RestFiles() = 
        member val Path:String = null with get,set
        member val TextContents:String = null with get,set
        member val ForDownload:Boolean = new Boolean() with get,set

    [<Route("/restfiles/DeleteFileRQ")>]
    [<AllowNullLiteral>]
    type DeleteFileRQ() = 
        interface IReturn<DeleteFileRS>
        member val idArchivo:Decimal = new Decimal() with get,set
        member val usua_login:String = null with get,set
        member val carp_carp:Decimal = new Decimal() with get,set
        member val isDirectory:Boolean = new Boolean() with get,set
        member val empr_empr:Int32 = new Int32() with get,set
        member val sist_sist:Int32 = new Int32() with get,set
        member val path:String = null with get,set
        member val dataDelete:RestFiles = null with get,set