(* Options: Date: 2026-02-16 07:55:32 Version: 6.110 Tip: To override a DTO option, remove "//" prefix before updating BaseUrl: https://etc-api.vsmlab.vn //GlobalNamespace: //MakeDataContractsExtensible: False //AddReturnMarker: True //AddDescriptionAsComments: True //AddDataContractAttributes: False //AddIndexesToDataMembers: False //AddGeneratedCodeAttributes: False //AddResponseStatus: False //AddImplicitVersion: //ExportValueTypes: False IncludeTypes: GetKeycloakSession.* //ExcludeTypes: //InitializeCollections: True //AddNamespaces: *) namespace tvpl.api.ServiceInterface open System open System.Collections open System.Collections.Generic open System.Runtime.Serialization open ServiceStack open ServiceStack.DataAnnotations open ServiceStack.Web open System.IO [] type TvplSession() = inherit AuthUserSession() member val SessionId:String = null with get,set member val UID:Int32 = new Int32() with get,set member val DepartmentId:Nullable = new Nullable() with get,set member val UserId:Int32 = new Int32() with get,set [] [] [] type GetKeycloakSession() = interface IReturn