(* Options: Date: 2026-09-21 22:53:44 Version: 8.52 Tip: To override a DTO option, remove "//" prefix before updating BaseUrl: http://clouddemo.pickeos.com:1337 //GlobalNamespace: //MakeDataContractsExtensible: False //AddReturnMarker: True //AddDescriptionAsComments: True //AddDataContractAttributes: False //AddIndexesToDataMembers: False //AddGeneratedCodeAttributes: False //AddResponseStatus: False //AddImplicitVersion: //ExportValueTypes: False IncludeTypes: MissionGetList.* //ExcludeTypes: //InitializeCollections: False //AddNamespaces: *) namespace GoToLightAPI open System open System.IO open System.Collections open System.Collections.Generic open System.Runtime.Serialization open ServiceStack open ServiceStack.DataAnnotations [] [] type MissionGetList() = /// ///With mission details /// [] member val WithDetails:Nullable = new Nullable() with get,set /// ///Include started missions (true by default) /// [] member val IncludeStartedMissions:Nullable = new Nullable() with get,set /// ///Include ended missions (true by default) /// [] member val IncludeEndedMissions:Nullable = new Nullable() with get,set /// ///Optional: mission type filter /// [] member val MissionTypeFilter:String = null with get,set