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,
    universal charstring  raw
  } with {
    variant ""
  }
  
} with {
  variant ""
} // End of module LibItsHttp_JsonMessageBodyTypes