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;

Network Registry Configuration¶

Overview¶

The static configuration of the engine.

Local Configuration¶

NetworkRegistryLocalCfg¶

The type for engine-specific local configuration.

type NetworkRegistryLocalCfg := mkNetworkRegistryLocalCfg;

Engine Configuration¶

NetworkRegistryCfg¶

NetworkRegistryCfg : Type := EngineCfg NetworkRegistryLocalCfg;

Instantiation¶

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