(* Options:
Date: 2026-03-31 20:23:08
Version: 8.80
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://test-do-services.klokgroep.nl/api

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

namespace IDB.API.DTO.Interfaces

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

    [<AllowNullLiteral>]
    type IPageOptions = 
        abstract PageNumber:Int32 with get,set
        abstract PageSize:Int32 with get,set

    [<AllowNullLiteral>]
    type ISearchCriteria = 
        abstract SearchCriteria:String with get,set

    [<AllowNullLiteral>]
    type GetCoordinators() = 
        interface IReturn<ResizeArray<User>>
        member val PageSize:Int32 = new Int32() with get,set
        member val PageNumber:Int32 = new Int32() with get,set
        member val SearchCriteria:String = null with get,set
        member val SelectedUserID:Nullable<Int32> = new Nullable<Int32>() with get,set