module arch.node.engines.transport_connection_config;

import arch.node.engines.transport_connection_messages open;

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

type TransportConnectionLocalCfg := mk;

TransportConnectionCfg : Type := EngineCfg TransportConnectionLocalCfg;

module transport_connection_config_example;
  
  exTransportConnectionCfg : TransportConnectionCfg :=
    EngineCfg.mk@{
      node := PublicKey.Curve25519PubKey "0xabcd1234";
      name := "transport-connection";
      cfg := TransportConnectionLocalCfg.mk;
    };

end;