module arch.node.engines.transport_protocol_messages;

import arch.node.types.transport open;
import arch.node.engines.router_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;