Quic locale

include udp_impl
include tls_msg

include quic_types

interpret cid -> longbv[1][1000][20] This file provides the interface to the test locale. This includes two services: TLS 1.3 and UDP.

object tls_api = {
    instance id : long_unbounded_sequence # unbounded_sequence #cid #
    instance lower : tls_lower_intf(id,stream_data)
    instance upper : tls_intf(id,stream_pos,stream_data,lower,tls_extensions,tls_hand_extensions,tls_ser,pkt_num)
}

instance net : udp_impl(endpoint_id,prot.arr,quic_prot_ser,quic_prot_deser)