LibItsHttp_JsonMessageBodyTypes.ttcn

module LibItsHttp_JsonMessageBodyTypes {
  
  // LibMec/LocationAPI
  import from LocationAPI_TypesAndValues all;
  // LibMec/UEidentityAPI
  import from UEidentityAPI_TypesAndValues all;
  
  /**
   * This file volontary contains a trivial declaration of the type JsonBody. 
   * In accordance with your TTCN-3 module LibItsHttp_JSONTypes, you have to change the JsonBody typing.
   */
  // TODO Add here your custom RFCs import
  
  type union JsonBody {
    // TODO Add here your custom variants
    UserInfo                userInfo,
    UserList                userList,
    ZoneInfo                zoneInfo,
    ProblemDetails          problemDetails,
    UeIdentityTagInfo       ueIdentityTagInfo,
    CellChangeSubscription  cellChangeSubscription,
    universal charstring    raw
  } with {
    variant ""
  }
  
} with {
  variant ""
} // End of module LibItsHttp_JsonMessageBodyTypes