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 := mkRouterLocalCfg;

RouterCfg : Type := EngineCfg RouterLocalCfg;

module router_config_example;
  
  exRouterCfg : RouterCfg :=
    mkEngineCfg@{
      node := Curve25519PubKey "0xabcd1234";
      name := "router-0xab12cd34";
      cfg := mkRouterLocalCfg;
    };

end;