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;

type RouterLocalCfg := mk;

RouterCfg : Type := EngineCfg RouterLocalCfg;

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

end;