module arch.node.net.transport_protocol_messages;

import arch.node.net.transport_types open;
import arch.node.net.node_proxy_messages open;

import arch.node.types.basics open;
import arch.node.types.identities open;
import arch.node.types.messages open;

type TransportOutMsg :=
  mkTransportOutMsg@{
    addr : TransportAddress;
    prefs : TransportPrefs;
    expiry : Time;
    msg : NodeMsg;
  };

type TransportProtocolMsg := | TransportProtocolMsgSend TransportOutMsg;