Stream data locale

include network_implementation
include tls_msg
include tls_api

include stream_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.

instance stream_data_net : network_implementation(endpoint_id,stream_prot.arr,stream_prot_ser,stream_prot_deser, 443)