module arch.node.net.transport_config;

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

Transport Configuration¶

Overview¶

The static configuration of the engine.

The Transport Local Configuration¶

TransportLocalCfg¶

The type for engine-specific local configuration.

type TransportLocalCfg := mkTransportLocalCfg;

The Transport Configuration¶

TransportCfg¶

TransportCfg : Type := EngineCfg TransportLocalCfg;

Instantiation¶

transportCfg : TransportCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "transport";
    cfg := mkTransportLocalCfg;
  };