module arch.node.engines.router_config;

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

Router Configuration¶

Overview¶

The static configuration of the engine.

The Router Local Configuration¶

RouterLocalCfg¶

The type for engine-specific local configuration.

type RouterLocalCfg := mk;

The Router Configuration¶

RouterCfg¶

RouterCfg : Type := EngineCfg RouterLocalCfg;

Instantiation¶

exRouterCfg : RouterCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "router-0xab12cd34";
    cfg := RouterLocalCfg.mk;
  };