module arch.node.engines.transport_protocol_config; import arch.node.types.basics open; import arch.node.types.basics open; import arch.node.types.engine open; import arch.node.types.identities open; type TransportProtocolLocalCfg := mkTransportProtocolLocalCfg; TransportProtocolCfg : Type := EngineCfg TransportProtocolLocalCfg; module transport_protocol_config_example; exTransportProtocolCfg : TransportProtocolCfg := mkEngineCfg@{ node := Curve25519PubKey "0xabcd1234"; name := "transport-protocol"; cfg := mkTransportProtocolLocalCfg; }; end;