(* Options:
Date: 2025-07-04 10:37:12
Version: 6.110
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://doapigw.baasbv.nl/api

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

namespace IDB.API.DTO.Navigation.Operations

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

    [<Route("/documentviews/{ViewId}/explorers", "GET")>]
    [<AllowNullLiteral>]
    type GetExplorers() = 
        interface IReturn<ResizeArray<Explorer>>
        member val ViewId:Guid = new Guid() with get,set