Juvix imports
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;
};