module arch.node.net.transport_protocol_config;

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

Transport Protocol Configuration¶

Overview¶

The static configuration of the engine.

The Transport Protocol Local Configuration¶

TransportProtocolLocalCfg¶

The type for engine-specific local configuration.

type TransportProtocolLocalCfg := mkTransportProtocolLocalCfg;

The Transport Protocol Configuration¶

TransportProtocolCfg¶

TransportProtocolCfg : Type := EngineCfg TransportProtocolLocalCfg;

Instantiation¶

exTransportProtocolCfg : TransportProtocolCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "transport-protocol";
    cfg := mkTransportProtocolLocalCfg;
  };