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 := mkTransportConnectionLocalCfg; TransportConnectionCfg : Type := EngineCfg TransportConnectionLocalCfg; module transport_connection_config_example; exTransportConnectionCfg : TransportConnectionCfg := mkEngineCfg@{ node := Curve25519PubKey "0xabcd1234"; name := "transport-connection"; cfg := mkTransportConnectionLocalCfg; }; end;