module arch.node.engines.net_registry_config;

import arch.node.engines.net_registry_messages open;

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

type NetworkRegistryLocalCfg := mkNetworkRegistryLocalCfg;

NetworkRegistryCfg : Type := EngineCfg NetworkRegistryLocalCfg;

module registry_config_example;
  
  exNetworkRegistryCfg : NetworkRegistryCfg :=
    mkEngineCfg@{
      node := Curve25519PubKey "0xabcd1234";
      name := "net-registry";
      cfg := mkNetworkRegistryLocalCfg;
    };
end;