Test trans

include trans
include seq_num
include udp

type id
type req
type shard
type data

instance seq_num : sequence_numbers

instance t : net(u,req,shard,seq_num,data)

instance u : udp_simple(id,t.net_msg.t)


isolate iso_t = t.impl with t,u,seq_num

export t.send_request
export t.send_delegate
import t.recv_request
import t.recv_delegate