netfilter-titan/testproject/TunDevice_Types.ttcn

module TunDevice_Types {

	type record Tun_send {
		octetstring msg
	}

	type record Tun_recv {
		octetstring msg
	}

	type record Result {
		integer os_error_code optional
	}
}