(* Options: Date: 2024-04-28 15:08:35 Version: 8.13 Tip: To override a DTO option, remove "//" prefix before updating BaseUrl: https://techstacks.io //GlobalNamespace: //MakeDataContractsExtensible: False //AddReturnMarker: True //AddDescriptionAsComments: True //AddDataContractAttributes: False //AddIndexesToDataMembers: False //AddGeneratedCodeAttributes: False //AddResponseStatus: False //AddImplicitVersion: //ExportValueTypes: False IncludeTypes: UserPostCommentReport.* //ExcludeTypes: //InitializeCollections: True //AddNamespaces: *) namespace TechStacks.ServiceModel open System open System.Collections open System.Collections.Generic open System.Runtime.Serialization open ServiceStack open ServiceStack.DataAnnotations type FlagType = | Violation = 0 | Spam = 1 | Abusive = 2 | Confidential = 3 | OffTopic = 4 | Other = 5 [] type UserPostCommentReportResponse() = member val ResponseStatus:ResponseStatus = null with get,set [] [] type UserPostCommentReport() = interface IReturn interface IPut member val Id:Int64 = new Int64() with get,set member val PostId:Int64 = new Int64() with get,set member val FlagType:FlagType = new FlagType() with get,set member val ReportNotes:String = null with get,set